by María Manzano, Antonia Huertas · Alianza Editorial · tapa blanda · ISBN 9788420645704
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
This book, 'Logic for Beginners', is designed for students of Logic in faculties of Philosophy and Computer Science, as well as for those approaching logic for the first time. The text, which relies on numerous examples and exercises, is accessible, interdisciplinary, and modern in its conception, with a special emphasis on semantics. It provides simple proof techniques, such as Venn diagrams for monadic predicate logic and semantic tableaux, resolution and natural deduction calculations, both for propositional and first-order logic. It includes appendices with a glossary, an analytical index, and historical notes on the foundations of logic in the 20th century. Additionally, it is accompanied by an interactive CD with more than 2,000 exercises and their solutions, as well as a document with the usual theorems of metalogic.
