Troelstra, A S. van Dalen, Dirk.
Constructivism in Mathematics, an introduction Vols. 1 & 2 - Netherlands Elsevier (NH) 1988 - 879p - Studies in Logic, Vols. 121 & 123 .
0 444 70358 6
Constructive Mathematics
510.6 TRO 510.6 TRO
Constructivism in Mathematics, an introduction Vols. 1 & 2 - Netherlands Elsevier (NH) 1988 - 879p - Studies in Logic, Vols. 121 & 123 .
0 444 70358 6
Constructive Mathematics
510.6 TRO 510.6 TRO