Logic & Its Applications

Zusammenfassung
This book is an introduction to mathematical logic and its application to the field of computer science. Starting with the first principles of logic, the theory is reinforced by detailed applications.

Inhalt

1. Propositional Logic
2. Formal Approach to Propositional Logic
3. Applications to Logic Design
4. Predicate Logic
5. Logic Programming
6. Formal System Specification