Modern Mathematical Logic
-10%
portes grátis
Modern Mathematical Logic
Mileti, Joseph
Cambridge University Press
09/2022
550
Dura
Inglês
9781108833141
15 a 20 dias
1100
Descrição não disponível.
- 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.
- 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.
- 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.
- 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.