Logic and Its Applications

Logic and Its Applications book cover

Logic and Its Applications

Author(s): Edmund Burke (Author), Eric Foxley (Author)

  • Publisher: Prentice Hall
  • Publication Date: 1 Sept. 1996
  • Edition: 1st
  • Language: English
  • Print length: 320 pages
  • ISBN-10: 0130302635
  • ISBN-13: 9780130302632

Book Description

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.

Editorial Reviews

About the Author

Eric Foxley is a lecturer at the Department of Computer Science, University of Nottingham.

View on Amazon

未经允许不得转载:Wow! eBook » Logic and Its Applications