?
2
Intuitionism and proof theory
proceedings of the Summer Conference at Buffalo, N. Y., 196
Studies in logic and the foundations of mathematics
Exemplar:
Zentrale:E02 a mat 011 ik/941
?
3
Intuitionistic logic, model theory and forcing
Studies in logic and the foundations of mathematics
Exemplar:
Zentrale:E03 a phi 630/370