Proceedings of the Summer School in Logik, Leeds, 1967 N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Başlık:
Proceedings of the Summer School in Logik, Leeds, 1967 N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
ISBN:
9783540358862
Personal Author:
Edition:
1st ed. 1968.
Yayın Bilgileri:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1968.
Fiziksel Tanımlama:
IV, 331 p. online resource.
Series:
Lecture Notes in Mathematics, 70
Contents:
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.
Ek Kurum Yazarı:
Dil:
English