Logic Colloquium '73 : Proceedings of the logic colloquium Bristol, July 1973 /
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 /
Mathematical logic /
Formal systems and recursive functions. Proceedings of the eighth logic colloquium Oxford, July 1963.
Mathematical Logic.
Reports on mathematical logic. No. 19
Reports on mathematical logic No. 16
Reports on mathematical logic. No. 6 /
Reports on mathematical logic. No. 4 /
Report on mathematical logic No. 5
Reports on mathematical logic. No. 3. /
Reports on mathematical logic. No. 2. /
Introduction To Mathematical Logic. /
Reports on mathematical logic No. 13
Reports on mathematical logic. No. 14
Reports on mathematical logic Nov. 13
Reports on mathematical logic No. 26
Reports on mathematical logic. /
Report on mathematical logic No. 15
Logic colloquium ´69. Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969.