Avigad, J: Mathematical Logic and Computation
(Sprache: Englisch)
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Leider schon ausverkauft
versandkostenfrei
Buch
76.13 €
Produktdetails
Produktinformationen zu „Avigad, J: Mathematical Logic and Computation “
Klappentext zu „Avigad, J: Mathematical Logic and Computation “
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Inhaltsverzeichnis zu „Avigad, J: Mathematical Logic and Computation “
Preface; 1. Fundamentals; 2. Propositional; 3. Semantics of Propositional Logic; 4. First-Order Logic; 5. Semantics of First-Order Logic; 6. Cut Elimination; 7. Properties of First-Order Logic; 8. Primitive Recursion; 9. Primitive Recursive Arithmetic; 10. First-Order Arithmetic; 11. Computability 12. Undecidability and Incompleteness; 13. Finite Types; 14. Arithmetic and Computation; 15. Second-Order Logic and Arithmetic; 16. Subsystems of Second-Order Arithmetic; 17. Foundations; Appendix; References; Notation; Index.
Autoren-Porträt von Jeremy Avigad
Carnegie Mellon University, Pennsylvania
Bibliographische Angaben
- Autor: Jeremy Avigad
- New ed, 450 Seiten, Gebunden, Englisch
- Verlag: Cambridge University Pr.
- ISBN-10: 1108478751
- ISBN-13: 9781108478755
- Erscheinungsdatum: 30.09.2022
Sprache:
Englisch
Kommentar zu "Avigad, J: Mathematical Logic and Computation"
0 Gebrauchte Artikel zu „Avigad, J: Mathematical Logic and Computation“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Avigad, J: Mathematical Logic and Computation".
Kommentar verfassen