Your search returned 2 results.

Results
	1.	Logic for computer science : foundations of automatic theorem proving by Gallier, Jean H [Author] Series: Dover books on computer science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©2015 Availability: Items available for loan: IIT - Dharwad (1)Call number: 511.360 285 GAL / B. Place hold Add to cart (remove)
	2.	Logic in elementary mathematics by Exner, Robert M [Author] Rosskopf, Myron Frederick [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Mineola : Dover Publications, ©2011 Availability: Items available for loan: IIT - Dharwad (1)Call number: 510.1 EXN / SGNF. Place hold Add to cart (remove)

Refine your search