Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
Lugar de Edición:
Amsterdam,
Editor:
North-Holland Pub. Co.,
Fecha de Edición:
1965.
Notas #:
Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.; Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.
Palabras clave:
Logic, Symbolic and mathematical.; Recursive functions.
Leader:
nam
Campo 003:
OCoLC
Campo 008:
840501s1965 ne b 100 0 eng
Campo 110:
2 ^aLogic Colloquium^n((8th : :^d1963 : :^cOxford, Oxfordshire))
Campo 245:
10^aFormal systems and recursive functions;^bproceedings.^cEdited by J.N. Crossley and M.A.E. Dummett.
Campo 246:
Campo 260:
^aAmsterdam,^bNorth-Holland Pub. Co.,^c1965.
Campo 300:
^a320 p.^c23 cm.
Campo 440:
0^aStudies in logic and the foundations of mathematics
Campo 500:
^aHeld at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
Campo 500:
^aIncludes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.
Campo 650:
0^aLogic, Symbolic and mathematical.
Campo 650:
0^aRecursive functions.
Campo 700:
1 ^aCrossley, John N.^eed.
Campo 700:
1 ^aDummett, Michael A. E.,^eed.
Campo 710:
2 ^aAssociation for Symbolic Logic.
Campo 710:
2 ^aNorth Atlantic Treaty Organization.
Campo 710:
2 ^aInternational Union of the History and Philosophy of Science.^bDivision of Logic, Methodology and Philosophy of Science.
Campo 711:
2 ^aSymposium on Recursive Functions^d((1963 : :^cOxford, Oxfordshire))
Proveniencia:
^aUnSur
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Base de Datos MARC21 - OCLC
Dependencia:
BDUMARC21

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito