Proceedings of the summer school in logic, leeds, 1967 - Lob M H (Berlin Springer-Verlag, 1968)
NATO Advanced study institute, meeting of the association for symbolic logic
Keywords: Mathematical logic; Symbolic logic