Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren

Löb, Martin H.. Proceedings of the Summer School in Logik, Leeds, 1967 - N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic. Springer Berlin Heidelberg, 1968.

eng

Martin H. Löb

Proceedings of the Summer School in Logik, Leeds, 1967

N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

Springer Berlin Heidelberg
1968

Taschenbuch
336 Seiten
ISBN 9783540042402

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.

42,75 €

inkl. MwSt.
zzgl. Versand

in Kürze