Logic and Its Applications [Paperback]

Edmund Burke (Author), Eric Foxley (Author)

Book Description

ISBN-10: 0130302635 | ISBN-13: 978-0130302632 | Publication Date: August 15, 1996 | Edition: 1st

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

From the Back Cover

Providing a thorough introduction to logic programming, this new book covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming. Covers a formal approach to propositional logic, application to logic design, predicate logic, logic programming, formal system specifications and solutions.

For professionals in the fields of computer science and mathematics.

Product Details

• Paperback: 310 pages
• Publisher: Prentice Hall; 1st edition (August 15, 1996)
• Language: English
• ISBN-10: 0130302635
• ISBN-13: 978-0130302632
• Product Dimensions: 9.1 x 6.8 x 0.9 inches
• Shipping Weight: 1.2 pounds
• Amazon Best Sellers Rank: #3,372,395 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.