Constructivism in Mathematics. An Introduction, volume 121 (1988)

by Anne S Troelstra, Dirk van Dalen
Venue:123 of Studies in Logic and the Foundations of Mathematics