Umfang:
Online-Ressource (IV, 331 p, online resource)
ISBN:
9783540358862
,
9783540042402
Serie:
Lecture Notes in Mathematics 70
Inhalt:
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.
Weitere Ausg.:
ISBN 9783540042402
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 978-354-00424-0-2
Sprache:
Englisch
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(Deutschlandweit zugänglich)
Mehr zum Autor:
Löb, Martin H. 1921-2006