Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: Summer School in Logic Manchester, England, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science, University of Manchester
Otros Autores: Gandy, R. O., Yates, C. Michael E.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : North-Holland Pub. Co., 1971.
Colección:Studies in logic and the foundations of mathematics ; v. 61.
Temas:
Logic, Symbolic and mathematical.
Set theory.
Recursive functions.
Logique symbolique et math�ematique.
Th�eorie des ensembles.
Fonctions r�ecursives.
Congress
Conference papers and proceedings.
Actes de congr�es.
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Notas:"Recognized as a meeting of the Association for Symbolic Logic and as a NATO Advanced Study Institute."
"Supported by the Logic, Methodology and Philosophy of Science Division of the International Union for Philosophy and History of Science."
Descripción Física:1 online resource (xiv, 451 pages)
Bibliografía:Includes bibliographical references.
ISBN:9780720422610
0720422612

Ejemplares similares