Logic, proof, and sets / Marvin L. Bittinger.
By: Bittinger, Marvin L
.
Material type: 
TextPublisher: Reading, Mass. : Addison-Wesley, c1982Edition: 2nd ed.Description: 131 p. ; 24 cm.ISBN: 0201103842 :.Subject(s): Logic, Symbolic and mathematical | Proof theory | Set theoryDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Library Collection of Informatics and Virtual Education General Collection | QA9 .B614 1982 (Browse shelf) | Available | 3668 |
Browsing Library Collection of Informatics and Virtual Education Shelves , Shelving location: General Collection Close shelf browser
| No cover image available | No cover image available | |||||||
| Q336 .W46 1987 Artificial intelligence and tutoring systems : | QA3 .U45 no. 9 1963 Statistical theory of reliability; | QA5 .N513 1977 Encyclopedic dictionary of mathematics / | QA9 .B614 1982 Logic, proof, and sets / | QA9 .B614 1982 Logic, proof, and sets / | QA9 .S63 1972 Laws of form | QA9.45 .B65 1992 Many-valued logics / |
Includes index.
There are no comments for this item.