|
Scandinavian Logic Symposium (2º : 1970 : University of Oslo)
Proceedings of the Second Scandinavian Logic Symposium / edited by J. E. Fenstad.
— Amsterdam : North-Holland, 1971. 405 p. ; 23 cm. — (Studies in logic and the foundations of mathematics ; v. 63)
"Symposium ... held at the University of Oslo, June 18-20, 1970."
"A meeting of the Association for Symbolic Logic."
Incluye referencias bibliográficas.
Contenido: 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.
ISBN 0720422590
|