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

Salvato in:

Dettagli Bibliografici
Pubblicazione:	Amsterdam : North-Holland Pub. Co., 1965.
Enti autori:	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
Altri autori:	Crossley, John N. Dummett, Michael, 1925-2011
Serie:	Studies in logic and the foundations of mathematics ;
Soggetti:	Logic, Symbolic and mathematical. Recursive functions.
Natura:	Atti del Convegno Libro

Central Library, Level 11

Dettagli sul posseduto da Central Library, Level 11
Collocazione Copia Loan Type Status Richiedi
BC 135 .L832 l AU06534333B For loan Disponibile Richiedi