Proceedings of the Second Scandinavian Logic Symposium / edited by J. E. Fenstad.
Idioma: Inglés, Francés Series Studies in logic and the foundations of mathematics ; v. 63Editor: Amsterdam : North-Holland, 1971Descripción: 405 p. ; 23 cmISBN: 0720422590Otra clasificación: 03-06S. O. Aanderaa, On the decision problem for formulas in which all disjunctions are binaryD. Belsnes, The immortality problem for non-erasing Turing machinesW. W. Boone, D. J. Collins and Yu. V. Matijasevic, Embeddings into semigroups with only a few defining relationsJ. E. Fenstad, The axiom of determinatenessJ.-Y. Girard, Une extension de l'interprétation de Gödel à l'analyse, et son application à l'élimination des coupures dans l'analyse et la théorie des typesH. R. Jervell, A normalform in first order arithmeticG. Kreisel, A survey of proof theory. IIYu. V. Matijasevic, Diophantine representation of recursively enumerable predicatesP. Martin-Löf, Hauptsatz for the intuitionistic theory of iterated inductive definitionsP. Martin-Löf, Hauptsatz for the theory of speciesD. Prawitz, Ideas and results in proof theoryW. V. Quine, Predicate-functor logicA. Robinson, Infinite forcing in model theoryK. Segerberg, Qualitative probability in a modal settingW. W. Tait, Normal form theorem for bar recursive functions of finite typeA. S. Troelstra, Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types.
| Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Libros
|
Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 Sc283-2 (Browse shelf) | Available | A-3879 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
| 03 R961pe Los principios de la matemática / | 03 Sa121 Saturated model theory / | 03 Sa121d Degrees of unsolvability / | 03 Sc283-2 Proceedings of the Second Scandinavian Logic Symposium / | 03 Sc349 Mengenlehre : | 03 Sc368 Grundzüge der mathematischen Logik / | 03 Sc396 Beweistheorie / |
"Symposium ... held at the University of Oslo, June 18-20, 1970."
"A meeting of the Association for Symbolic Logic."
Incluye referencias bibliográficas.
S. O. Aanderaa, On the decision problem for formulas in which all disjunctions are binary -- D. Belsnes, The immortality problem for non-erasing Turing machines -- W. W. Boone, D. J. Collins and Yu. V. Matijasevic, Embeddings into semigroups with only a few defining relations -- J. E. Fenstad, The axiom of determinateness -- J.-Y. Girard, Une extension de l'interprétation de Gödel à l'analyse, et son application à l'élimination des coupures dans l'analyse et la théorie des types -- H. R. Jervell, A normalform in first order arithmetic -- G. Kreisel, A survey of proof theory. II -- Yu. V. Matijasevic, Diophantine representation of recursively enumerable predicates -- P. Martin-Löf, Hauptsatz for the intuitionistic theory of iterated inductive definitions -- P. Martin-Löf, Hauptsatz for the theory of species -- D. Prawitz, Ideas and results in proof theory -- W. V. Quine, Predicate-functor logic -- A. Robinson, Infinite forcing in model theory -- K. Segerberg, Qualitative probability in a modal setting -- W. W. Tait, Normal form theorem for bar recursive functions of finite type -- A. S. Troelstra, Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types.
MR, 47 #6425
Click on an image to view it in the image viewer
There are no comments on this title.