Formal systems and recursive functions : proceedings / Edited by J.N. Crossley and M.A.E. Dummett.

Saved in:

Bibliographic Details
Published:	Amsterdam : North-Holland Pub. Co., 1965.
Corporate Authors:	Logic Colloquium Oxford, Oxfordshire 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 Symposium on Recursive Functions
Other Authors:	Crossley, John N. Dummett, Michael, 1925-2011
Series:	Studies in logic and the foundations of mathematics ;
Subjects:	Logic, Symbolic and mathematical. Recursive functions.
Format:	Conference Proceeding Book

Central Library, Level 11

Holdings details from Central Library, Level 11
Call Number Copy Loan Type Status Request
BC 135 .L832 l AU06534333B For loan Available now Request this copy