Proceedings of the Summer School in Logik, Leeds, 1967 N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Title:
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.
Publication Information New:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1968.
Physical Description:
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.
Added Corporate Author:
Language:
English