Logic and its applications / Edmund Burke and Eric Foxley.
Material type: TextSeries: Prentice Hall international series in computer sciencePublication details: Prentice Hall, 1996.ISBN:- 0130302635
- 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.
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.