Search

Your search returned 7 results.

Results
		Learning to reason : an introduction to logic, sets and relations / Nancy Rodgers. by Rodgers, Nancy, 1941-. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Wiley, 2000Online access: Contributor biographical information \| Publisher description \| Table of Contents Availability: Items available for loan: SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY (1) Call number: QA9 .R23 2000. Place hold Add to cart (remove)
		Foundations of abstract mathematics / David C. Kurtz. by Kurtz, David C. Series: International series in pure and applied mathematicsMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: New York : McGraw-Hill, c1992Availability: Items available for loan: SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY (2) Call number: QA9 .K96 1992, ... Place hold Add to cart (remove)
		Logic for information technology / Antony Galton. by Galton, Antony. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chichester ; New York : Wiley, c1990Availability: Items available for loan: SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY (1) Call number: QA9 .G13 1990. Place hold Add to cart (remove)
		Mathematical logic for computer science / M. Ben-Ari. by Ben-Ari, M, 1948-. Series: Prentice Hall international series in computer scienceMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, 1993Availability: Items available for loan: SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY (2) Call number: QA9 .B43 1993, ... Place hold Add to cart (remove)
		Equational logic as a programming language / Michael J. O'Donnell. by O'Donnell, Michael J, 1952-. Series: MIT Press series in the foundations of computingMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1985Availability: Items available for loan: SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY (1) Call number: QA76.7 .701985. Place hold Add to cart (remove)
		Frege and Gödel; two fundamental texts in mathematical logic. by Van Heijenoort, Jean, 1912- [comp.] \| Frege, Gottlob, 1848-1925. Begriffsschrift. English. 1970 \| Gödel, Kurt. Material type: Text; Format: print ; Literary form: Not fiction Language: engger Publication details: Cambridge, Mass., Harvard University Press, 1970Availability: Items available for loan: SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY (1) Call number: QA9 .F88 1970. Place hold Add to cart (remove)
		Effective logic computation / Klaus Truemper. by Truemper, K, 1942-. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Wiley, c1998Online access: Table of Contents \| Contributor biographical information \| Publisher description Availability: Items available for loan: SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY (1) Call number: T57.6 .T76 1998. Place hold Add to cart (remove)

© 2024. All Right Reserved. Property of Accra Technical University

^