The University of Dodoma Library Catalog

Your search returned 11 results.

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

by Bittinger, Marvin L.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Reading, Mass. : Addison-Wesley, c1982Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA9 .B614 1982] (1).
Lists:

2. Foundations of mathematics [by] William S. Hatcher.

by Hatcher, William S.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Philadelphia, W. B. Saunders Co., 1968Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA9 .H34 1968] (1).

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

by Bittinger, Marvin L.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Reading, Mass. : Addison-Wesley, c1982Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA9 .B614 1982] (1).

4. Laws of form [by] G. Spencer Brown.

by Spencer-Brown, G.

Edition: [1st American ed.]Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York, Julian Press [1972]Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA9 .S63 1972] (1).

5. Elements of symbolic logic / Hans Reichenbach.

by Reichenbach, Hans.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : Dover Publications ; 1980Availability: Items available for loan: Library Collection of Humanities and Socal Sciences [Call number: BC135 .R4 1947] (1).

6. Groupware : computer support for business teams / Robert Johansen ; with contributions by Jeff Charles, Robert Mittman, Paul Saffo.

by Johansen, Robert.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London : Free Press ; 1988Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: HD 66 .J65 1988] (1).

7. A computational logic handbook / Robert S. Boyer, J Strother Moore.

by Boyer, Robert S | Moore, J Strother, 1947-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston : Academic Press, c1988Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA76.9.A96 B684 1988] (1).

8. The logical basis for computer programming / Zohar Manna, Richard Waldinger.

by Manna, Zohar | Waldinger, Richard.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Reading, Mass: Addison-Wesley, c1985-c1990Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA76.6 .M35595 1985] (1).

9. Computability and logic / George S. Boolos, Richard C. Jeffrey.

by Boolos, George | Jeffrey, Richard C.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 1989Online access: Publisher description | Table of contents Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA9.59 .B66 1989] (1).

10. Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Lesław W. Szczerba.

by Epstein, Richard L, 1947-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Princeton : Princeton University Press, c2006Online access: Publisher description | Contributor biographical information Availability: Items available for loan: Library, Collection of Education [Call number: QA 9 .E67 2006] (2).

11. Discrete mathematics and its applications / Kenneth H. Rosen.

by Rosen, Kenneth H.

Edition: 6th ed. McGrawhill international editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston: McGraw-Hill Higher Education, 2007Online access: Table of contents | Publisher description | Contributor biographical information Availability: Items available for loan: Library Collection of Natural and Mathematical Sciences [Call number: QA39.3 .R67 2007] (1). Items available for reference: Library Collection of Natural and Mathematical Sciences [Call number: QA39.3 .R67 2007] (2), Library, Collection of Business Studies and Law [Call number: QA39.3 .R67 2007] (1).

© The University of Dodoma 2020