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.
- Format: Paperback
- Pages: 320 pages
- Publisher: Pearson Education (US)
- Publication Date: 16/05/1996
- Category: Computer programming / software development
- ISBN: 9780130302632