Buch, Englisch, 312 Seiten, Format (B × H): 150 mm x 226 mm, Gewicht: 408 g
Buch, Englisch, 312 Seiten, Format (B × H): 150 mm x 226 mm, Gewicht: 408 g
ISBN: 978-0-367-39857-6
Verlag: CRC Press
Autoren/Hrsg.
Weitere Infos & Material
1. Consistency, Decidability, Completeness for the Arithmetic of Order with Successor 2. Consistency, Decidability, Completeness for the Arithmetic of Addition and Order 3. Antinomies, Pseudomenos, and Their Analysis 4. Undefinability and Incompleteness, General Theory 5.Elementary and Primitive Recursive Functions 6. Recursive Relations and Recursive Functions 7. The Arithmitization of Syntax 8. Consequences of Arithmetization 9. Axioms for Arithmetic 10. Peano Arithmetic PA and Its Expansion PR 11. Unprovability of Consistency