Buch, Englisch, Band 70, 331 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1040 g
Reihe: Lecture Notes in Mathematics
N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Buch, Englisch, Band 70, 331 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1040 g
Reihe: Lecture Notes in Mathematics
ISBN: 978-3-540-04240-2
Verlag: Springer Berlin Heidelberg
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.