Proceedings on mathematical logic - Dold A Ed.; Conference in mathematical logic (1970 : London); Eckmann B Ed.; Hodges Wilfrid Ed. (Berlin Springer-Verlag, 1972)