Modern Mathematical Logic

Modern Mathematical Logic

Mileti, Joseph

Cambridge University Press

09/2022

550

Dura

Inglês

9781108833141

15 a 20 dias

1100

- Preface
- Acknowledgements
- 1. Introduction
- 2. Induction and recursion
- 3. Propositional logic
- 4. First-order logic: languages and structures
- 5. Relationships between structures
- 6. Implication and compactness
- 7. Model theory
- 8. Axiomatic set theory
- 9. Ordinals, cardinals, and choice
- 10. Set-theoretic methods in model theory
- 11. Computable sets and functions
- 12. Logic, computation, and incompleteness
- Appendix: mathematical background
- References
- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.