TY  - BOOK
AU  - Lob M H
TI  - Proceedings of the summer school in logic, leeds, 1967
U1  - 164 
PY  - 1968///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematical logic
KW  - Symbolic logic
N1  - NATO Advanced study institute, meeting of the association for symbolic logic
ER  -