Logic and its applications
Author(s)
Bibliographic Information
Logic and its applications
（Prentice-Hall International series in computer science）
Prentice Hall, 1996
Available at 13 libraries
Note
Includes bibliographical references and index
Description and Table of Contents
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.
Table of Contents
1. Propositional Logic
2. Formal Approach to Propositional Logic
3. Applications to Logic Design
4. Predicate Logic
5. Logic Programming
6. Formal System Specification
by "Nielsen BookData"