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

Guardat en:

Dades bibliogràfiques
Publicat:	Amsterdam : North-Holland Pub. Co., 1965.
Autor corporatiu:	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
Altres autors:	Crossley, John N. Dummett, Michael, 1925-2011
Col·lecció:	Studies in logic and the foundations of mathematics ;
Matèries:	Logic, Symbolic and mathematical. Recursive functions.
Format:	Actes de congresos Llibre

Central Library, Level 11

Detall dels fons de Central Library, Level 11
Signatura Còpia Loan Type Estat Fer una reserva
BC 135 .L832 l AU06534333B For loan Disponible Fer una reserva