Intuitionismus. Konstruktivimus. Minimalkalkül (phi 630)
3  Ergebnisse:
?
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
 
1-3