Find a copy in the library
Finding libraries that hold this item...
|Additional Physical Format:||Online version:
Logic Colloquium, 1969, University of Manchester.
Logic colloquium '69.
Amsterdam : North-Holland Pub. Co., 1971
|Material Type:||Conference publication|
|All Authors / Contributors:||
Robin Oliver Gandy; C E M Yates; Alan Mathison Turing; Association for Symbolic Logic.; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.; NATO Advanced Study Institute.
|Notes:||"The conference was supported financially by the Logic, Methodology and Philosophy of Science division of the International Union for Philosophy and History of Science, and by a generous grant from NATO. It was recognised as a NATO Advanced Study Institute." It was also recognised as a "meeting of the Association of Symbolic Logic."
"The influence and inspiration of Turing may be traced in many of the contributions," and the volume is dedicated to his memory.
|Description:||xiv, 451 p. ; 23 cm.|
|Series Title:||Studies in logic and the foundations of mathematics, v. 61.|
|Responsibility:||edited by R.O. Gandy and C.M.E. [i.e. C.E.M.] Yates.|