TY  - BOOK
AU  - Löb,M.H.
ED  - Summer School in Logic
ED  - NATO Advanced Study Institute
ED  - Association for Symbolic Logic
TI  - Proceedings of the Summer School in Logic, Leeds, 1967: N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic 
T2  - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann
PY  - 1968///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliogr. references
ER  -