Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.
- ISBN10 013564139X
- ISBN13 9780135641392
- Publish Date 1 October 1992
- Publish Status Out of Print
- Out of Print 31 October 2009
- Publish Country GB
- Publisher Pearson Education Limited
- Imprint Prentice-Hall
- Format Paperback
- Pages 320
- Language English