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

Tallennettuna:

Bibliografiset tiedot
Julkaistu:	Amsterdam : North-Holland Pub. Co., 1965.
Yhteisötekijät:	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
Muut tekijät:	Crossley, John N. Dummett, Michael, 1925-2011
Sarja:	Studies in logic and the foundations of mathematics ;
Aiheet:	Logic, Symbolic and mathematical. Recursive functions.
Aineistotyyppi:	Konferenssijulkaisu Kirja

Central Library, Level 11

Saatavuus: Central Library, Level 11
Hyllypaikka Nide Loan Type Tila Tee varaus
BC 135 .L832 l AU06534333B For loan Saatavissa Tee varaus