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!
|
Tabla de Contenidos:
- 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.