TY - BOOK AU - Summer School in Logic, Leeds, 1967 AU - TI - Logic; proceedings T2 - Lecture notes in Mathematics U1 - 511.3 PY - 1968/// CY - Berlin PB - Springer-Verlag ER -