Two vols (1988)

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