Your search returned 10 results.

Sort
Results
1.
Logic, proof, and sets / Marvin L. Bittinger. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass. : Addison-Wesley, c1982
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA9 .B614 1982.
Lists:

2.
Foundations of mathematics [by] William S. Hatcher. by Series: Saunders mathematics books
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Philadelphia, W. B. Saunders Co., 1968
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA9 .H34 1968.

3.
Logic, proof, and sets / Marvin L. Bittinger. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass. : Addison-Wesley, c1982
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA9 .B614 1982.

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

5.
Groupware : computer support for business teams / Robert Johansen ; with contributions by Jeff Charles, Robert Mittman, Paul Saffo. by Series: Series in communication technology and society
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Free Press ; 1988
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: HD 66 .J65 1988.

6.
A computational logic handbook / Robert S. Boyer, J Strother Moore. by Series: Perspectives in computing (Boston, Mass.) ; vol. 23.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : Academic Press, c1988
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.A96 B684 1988.

7.
The logical basis for computer programming / Zohar Manna, Richard Waldinger. by Series: Addison-Wesley series in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass: Addison-Wesley, c1985-c1990
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.6 .M35595 1985.

8.
Computability and logic / George S. Boolos, Richard C. Jeffrey. by
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 1989
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA9.59 .B66 1989.

9.
Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Lesław W. Szczerba. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Princeton : Princeton University Press, c2006
Availability: Items available for loan: Education Library Collection (2)Call number: QA 9 .E67 2006, ...

10.
Elements of symbolic logic / Hans Reichenbach. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover Publications ; 1980
Availability: Items available for loan: Humanities and Socal Sciences Library Collection (1)Call number: BC135 .R4 1947.

Pages
© The University of Dodoma 2020