Structure of proof with logic and set theory
By: O'Leary, Michael L.
Material type:
BookPublisher: New Jersey: Prentice Hall, 2002Description: xiv, 418 p.; ill., index: 24 cm.ISBN: 9780130190772 .Subject(s): Number theory | Predicates and proofs | Proof theory | Propositional Logic | Structure of proofDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 OLE (Browse shelf) | Available | 009059 |
There are no comments for this item.