Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 /
Autres auteurs :
Gandy, R. O.
|
Yates, C. Michael E.
|
North Atlantic Treaty Organization.
|
International Union of the History and Philosophy of Science.
--
Division of Logic, Methodology and Philosophy of Science.
|
University of Manchester.
Collection :
Studies in logic and the foundations of mathematics ;
. v. 61
Détails physiques : 1 online resource (xiv, 451 pages)
ISBN :9780720422610; 0720422612.
|
Yates, C. Michael E.
|
North Atlantic Treaty Organization.
|
International Union of the History and Philosophy of Science.
--
Division of Logic, Methodology and Philosophy of Science.
|
University of Manchester.
Sujet(s) :
Logic, Symbolic and mathematical.
|
Set theory.
|
Recursive functions.
|
Electronic books.
|
Logic, Symbolic and mathematical.
|
Recursive functions.
|
Set theory.
|
Set theory.
|
Recursive functions.
|
Electronic books.
|
Logic, Symbolic and mathematical.
|
Recursive functions.
|
Set theory.
Ressources en ligne :
Exemplaires : http://www.sciencedirect.com/science/book/9780720422610
"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."
Includes bibliographical references.
Description based on print version record.
Il n'y a pas de commentaire pour ce document.