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.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
