1 - Proceedings of the Summer school in logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic LogicLöb, M. H. (Ed.)Cote : [05 LOB 67]