Remarks on intuitionism and the philosophy of mathematics (1991)

by A S Troelstra
Venue:Atti del Congresso Nuovi Problemi della Logica e della Filosofia della Scienza. Viareggio, 8--13 gennaio 1990, Vol. II