Constructivism in mathematics. Vol (1988)

by A S Troelstra, D van Dalen
Venue:of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co