TY - BOOK AU - Dold A Ed. AU - Eckmann B Ed. AU - Hodges Wilfrid Ed. ED - Conference in mathematical logic (1970 : London) TI - Proceedings on mathematical logic T2 - Lecture notes in mathematics: A collection of informal report and seminar; 255 U1 - B:(R1), L2 PY - 1972/// CY - Berlin PB - Springer-Verlag ER -