Constructivism in mathematics : an introduction
Troelstra, A.S.
Constructivism in mathematics : an introduction - - Amsterdam North-Holland, 1988 - v.1 22 cm - .
0-444-70266-00
Constructive mathematics
517.1 Tro-1
Constructivism in mathematics : an introduction - - Amsterdam North-Holland, 1988 - v.1 22 cm - .
0-444-70266-00
Constructive mathematics
517.1 Tro-1