Proceedings of the Summer School in Logik, Leeds, 1967 N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Titre:
Proceedings of the Summer School in Logik, Leeds, 1967 N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
ISBN (Numéro international normalisé des livres):
9783540358862
Auteur personnel:
Edition:
1st ed. 1968.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1968.
Description physique:
IV, 331 p. online resource.
Collections:
Lecture Notes in Mathematics, 70
Table des matières:
Lectures on proof theory -- Partitions and models -- Klassen rekursiver funktionen -- Hyperarithmetic ultrafilters -- Recursive equivalence: A survey -- Half-ring morphologies -- Formalisations of some ?0 ?ukasiewicz propositional calculi -- Theories which are not ?o-categorical -- The monadic fragment of predicate calculus with the Chang quantifier and equality -- The ? 1 1 -comprehension schema and ?-rules.
Auteur collectif ajouté:
Langue:
Anglais