Image from Syndetics
Logic and its applications / Edmund Burke and Eric Foxley.
Material type:
TextSeries: Prentice Hall international series in computer sciencePublication details: Prentice Hall, 1996. ISBN: 0130302635Subject(s): Logic programming | Logic, Symbolic and mathematicalDDC classification: 511.3
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.
| Item type | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
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.