Cargando…
Logic as a Tool : a Guide to Formal Logical Reasoning /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Wiley,
2016.
|
| Edición: | 1st |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.