Verificationism Then and Now (1995)

by Martin Löf, P
Venue:The Foundational Debate: Complexity and Constructivity in Mathematics and Physics, Kluwer, Dordrecht/Boston/London