Syndetics cover image
Image from Syndetics

Logic and its applications / Edmund Burke and Eric Foxley.

By: Contributor(s): Material type: TextTextSeries: Prentice Hall international series in computer sciencePublication details: Prentice Hall, 1996.ISBN:
  • 0130302635
Subject(s): DDC classification:
  • 511.3 20
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 -- Appendix A. Mathematical background -- Appendix B. Other notations -- Appendix C. Symbols used in the book.
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 511.3 BUR (Browse shelf(Opens below)) Available 4403926405
Total holds: 0

Enhanced descriptions from Syndetics:

Includes bibliographical references and 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 -- Appendix A. Mathematical background -- Appendix B. Other notations -- Appendix C. Symbols used in the book.