Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969.
Subtitle: Edited by R.O. Gandy [and] C.M.E. Yates.
Contributors: Gandy, Robin O.; Yates, Michael.; Summer School in Mathematical Logic, University of Manchester, 1969
Series: Studies in logic and the foundations of mathematics -- v. 61
Publisher: North-Holland Pub. Co.
Published: 1971
Place of publication: Amsterdam
Language: eng
Number of pages: 451
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliography.