Logic and Its Applications (Prentice Hall International Series in Computer Science)

by Edmund Burke (Author), Eric Foxley (Author)

• Used

  Paperback
  1996

  $10.55

  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.