Logic for mathematics and computer science / Stanley N. Burris.
Material type: TextPublication details: Upper Saddle River, N.J. ; London : Prentice Hall : Prentice-Hall International (UK), c1998.ISBN:- 0132859742
- 511.3 21
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 | 4404176448 | |||
Two Week Loan | College Lane Learning Resources Centre Main Shelves | 511.3 BUR (Browse shelf(Opens below)) | Available | 4404306034 | |||
Two Week Loan | College Lane Learning Resources Centre Main Shelves | 511.3 BUR (Browse shelf(Opens below)) | Available | 4404306043 |
Enhanced descriptions from Syndetics:
Bibliography: p409-411. - Includes index.
The Flow of Topics -- Ch. 1. From Aristotle to Boole -- Ch. 2. Propositional Logic -- Ch. 3. Equational Logic -- Ch. 4. Predicate Clause Logic -- Ch. 5. First-Order Logic: Introduction, and Fundamental Results on Semantics -- Ch. 6. A Proof System for First-Order Logic, and Godel's Completeness Theorem -- App. A. A Simple Timetable of Mathematical Logic and Computing -- App. B. The Dedekind-Peano Number System -- App. C. Writing Up an Inductive Definition or Proof -- App. D. The FL Propositional Logic.