Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics (1993)

by Solomon Feferman
Venue:In the Light of Logic