TY  - BOOK
AU  - Burke, Edmund
AU  - Foxley, Eric
TI  - Logic and its applications
SN  - 130302635
AV  - QA 76.73 .B87 1996 
PY  - 1996///
CY  - New York
PB  - Prentice-Hall
KW  - LOGIC PROGRAMMING
N1  - Includes index; 1. Propositional Logic 2. Formal Approach to Propositional Logic 3. Applications to Logic Design 4. Predicate Logic 5. Logic Programming 6. Formal System Specification
N2  - 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
ER  -