Your search returned 2 results.

Results
	1.	Proofs and algorithms : an introduction to logic and computability / Gilles Dowek. by Dowek, Gilles Series: Undergraduate topics in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Springer, 2011 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: African Association of Public Administration & Management (AAPAM) (3)Call number: QA9 .D68 2011, ... Found in Open Library: Place hold Add to cart (remove)
	2.	Symbolic logic / by Irving M. Copi. by Copi, Irving M Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Macmillan, 1979 Availability: Items available for loan: African Association of Public Administration & Management (AAPAM) (1)Call number: BC135 .C58 1979. Found in Open Library: Place hold Add to cart (remove)

Refine your search