TY  - BOOK
AU  - Colloquium on the contributions to mathematical logic (Hannover)
ED  - Colloquium on the contributions to mathematical logic (Hannover)
TI  - Proceedings ed by H Arnold Schmidt etc
T2  - Studies in logica and the fundations of matematics ed by A heyting etc
U1  - R14p1:N66, K8 
PY  - 1968///
KW  - PHILOSOPHY
ER  -