Providing a thorough introduction to logic programming, this new text covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming . Introducing the reader to mathematical logic, the book gives special emphasis to applications in computer science.
OHPs available form the Publisher.
- ISBN10 0130302635
- ISBN13 9780130302632
- Publish Date 16 May 1996
- Publish Status Out of Print
- Out of Print 15 March 2021
- Publish Country US
- Publisher Pearson Education Limited
- Imprint Addison Wesley
- Format Paperback
- Pages 320
- Language English