Mathematical Logic and Computation

Mathematical Logic and Computation

Cambridge University Press

09/2022

450

Dura

Inglês

9781108478755

Pré-lançamento - envio 15 a 20 dias após a sua edição

Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.