Burke, Edmund <br/><br/>
Logic and its applications / 
Edmund Burke and Eric Foxley 
 - New York :  Prentice-Hall,  c1996 
 - xviii, 310 pages :  illustrations ;  24 cm. 
<br/><br/>Includes index. 
<br/><br/>1. Propositional Logic 2. Formal Approach to Propositional Logic 3. Applications to Logic Design 4. Predicate Logic 5. Logic Programming 6. Formal System Specification 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>130302635 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LOGIC PROGRAMMING
<br/><br/><label>LC Class. No.: </label>QA 76.73 .B87 1996