Proceedings of the Summer School in Logik, Leeds, 1967 N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Título:
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
Autor Pessoal:
Edição:
1st ed. 1968.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1968.
Descrição Física:
IV, 331 p. online resource.
Série:
Lecture Notes in Mathematics, 70
Conteúdo:
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.
Autor Corporativo Adicionado:
LANGUAGE:
Inglês