Find a copy in the library
Finding libraries that hold this item...
|Additional Physical Format:||Online version:
Logic Colloquium ((8th : : 1963 : Oxford, Oxfordshire))
Formal systems and recursive functions.
Amsterdam, North-Holland Pub. Co., 1965
|Material Type:||Conference publication|
|All Authors / Contributors:||
John N Crossley; Michael Dummett; Association for Symbolic Logic.; North Atlantic Treaty Organization.; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
|Notes:||Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.
|Description:||320 pages 23 cm.|
|Series Title:||Studies in logic and the foundations of mathematics.|
|Responsibility:||Edited by J.N. Crossley and M.A.E. Dummett.|