Logic as a tool : a guide to formal logical reasoning
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Livre papier |
| Idioma: | Anglais |
| Publicado: |
Chichester, UK ; Hoboken, NJ :
Wiley
2016, copyright 2016.
|
| Autres localisations: | Voir dans le Sudoc |
Table des matières:
- Understanding propositional logic Deductive reasoning in propositional logic Understanding first-order logic Deductive reasoning in first-order logic Applications : mathematical proofs and automated reasoning Answers and solutions to selected exercises