?
2
Intuitionistic logic, model theory and forcing
Studies in logic and the foundations of mathematics
Exemplar:
Zentrale:E03 a phi 630/370
?
3
Principles of intuitionism
lectures presented at the Summer Conference on Intuitionism...
Lecture notes in mathematics ; 95
Exemplar:
Zentrale:Magazin 01.b.0393
?
4
The foundations of intuitionistic mathematics
especially in relation to recursive functions
Studies in logic and the foundations of mathematics
Exemplar:
Zentrale:E02 a mat 011/271
1-4