Classical First-Order Logic
-10%
portes grátis
Classical First-Order Logic
Kissel, Teresa Kouri; Shapiro, Stewart
Cambridge University Press
05/2022
75
Mole
Inglês
9781108987004
15 a 20 dias
121
Descrição não disponível.
1. Introduction; 2. Formal System; 3. Language; 4. Deduction; 5. Model-Theoretic Semantics; 6. Meta-theory; 7. Classical Higher-Order Logic; 8. Intuitionism; 9. Paraconsistency: demurring from ex falso quodlibet; 10. Conclusion.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
1. Introduction; 2. Formal System; 3. Language; 4. Deduction; 5. Model-Theoretic Semantics; 6. Meta-theory; 7. Classical Higher-Order Logic; 8. Intuitionism; 9. Paraconsistency: demurring from ex falso quodlibet; 10. Conclusion.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
