The University of Dodoma Library

Normal view MARC view ISBD view

Logic, proof, and sets / Marvin L. Bittinger.

By: Bittinger, Marvin L.
Material type: TextTextPublisher: 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
List(s) this item appears in: informatics2
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Books Books Library, College of Informatics and Virtual Education (CIVE)
General Collection
QA9 .B614 1982 (Browse shelf) Available 3668
Browsing Library, College of Informatics and Virtual Education (CIVE) 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.

Log in to your account to post a comment.
© The University of Dodoma 2017