Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August, 1969. Edited by R.O. Gandy [and] C.M.E. Yates.

; Gandy, R. O., editor ; Yates, C. Michael E., editor
Amsterdam, North-Holland, 1971.

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 9 .L63 1969 (show me on map) Off-site
WRLC Shared Collections Facility
BC135 .S8 v.8 1969 v.8 1969 Off-site
Other Authors Gandy, R. O.,
Yates, C. Michael E.,
Subjects Logic, Symbolic and mathematical.
Logica Matematica.
Logique symbolique et mathématique.
Recursive functions.
Set theory.
Series Studies in logic and the foundations of mathematics ; 61.
Description xiv, 451 pages 23 cm.
Copyright Date 1971.
Notes "Generally known as" the '69 Logic Colloquium' ... compare Preface.
"In Memoriam Alan Mathison Turing, 1912-1954."
Includes bibliographical references.
Network Numbers (OCoLC)6186533
WorldCat Search OCLC WorldCat


Export citation to: RefWorks