Jeremy Avigad

Mathematical Logic and Computation (eBook, PDF)

• Format: PDF

Produktbeschreibung

A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Erscheinungstermin: 24. November 2022
• Englisch
• ISBN-13: 9781108800761
• Artikelnr.: 70910743

Autorenporträt

Jeremy Avigad is Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and history of mathematics. He is the Director of the Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University.

Inhaltsangabe

Preface
1. Fundamentals
2. Propositional Logic
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.