Proceedings of the Second Scandinavian Logic Symposium /
Guardado en:
| Autores Corporativos: | , |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | English French |
| Publicado: |
Amsterdam :
North-Holland,
1971.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 63 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 02209nam a22002655a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb002212 | ||
| 008 | 711101s1971####ne#######b####100#0#eng#d | ||
| 005 | 20160527115342.0 | ||
| 245 | 1 | 0 | |a Proceedings of the Second Scandinavian Logic Symposium / |c edited by J. E. Fenstad. |
| 260 | |a Amsterdam : |b North-Holland, |c 1971. | ||
| 300 | |a 405 p. ; |c 23 cm. | ||
| 440 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 63 | |
| 500 | |a "Symposium ... held at the University of Oslo, June 18-20, 1970." | ||
| 500 | |a "A meeting of the Association for Symbolic Logic." | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 505 | 0 | |a 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. | |
| 510 | 4 | |a MR, |c 47 #6425 | |
| 020 | |a 0720422590 | ||
| 111 | 2 | |a Scandinavian Logic Symposium |n (2º : |d 1970 : |c University of Oslo) | |
| 700 | 1 | |a Fenstad, Jens Erik. |4 edt | |
| 710 | 2 | |a Association for Symbolic Logic. | |
| 084 | |a 03-06 |2 msc2000 | ||
| 010 | |a 71153401 | ||
| 041 | 0 | |a eng |a fre | |
| 859 | |h 03 |i Sc283-2 |p A-3879 |b BIB. MATEMATICA | ||