Syndetics cover image
Image from Syndetics

Logic for mathematics and computer science / Stanley N. Burris.

By: Material type: TextTextPublication details: Upper Saddle River, N.J. ; London : Prentice Hall : Prentice-Hall International (UK), c1998.ISBN:
  • 0132859742
Subject(s): DDC classification:
  • 511.3 21
Contents:
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.
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 4404176448
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 511.3 BUR (Browse shelf(Opens below)) Available 4404306034
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 511.3 BUR (Browse shelf(Opens below)) Available 4404306043
Total holds: 0

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.