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

Sparad:

Bibliografiska uppgifter
Publicerad:	Amsterdam : North-Holland Pub. Co., 1965.
Institutionella upphovsmän:	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
Övriga upphovsmän:	Crossley, John N. Dummett, Michael, 1925-2011
Serie:	Studies in logic and the foundations of mathematics ;
Ämnen:	Logic, Symbolic and mathematical. Recursive functions.
Materialtyp:	Konferenspublikation Bok

Central Library, Level 11

Beståndsuppgifter i Central Library, Level 11
Signum Exemplar Loan Type Status Reservera
BC 135 .L832 l AU06534333B For loan Tillgänglig Reservera