Your search returned 2 results.

Results
	1.	Classical decision problem by Börger, Egon [Author] Grädel, Erich [Author] Gurevich, Yuri [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, ©1997 Availability: Items available for reference: IIT - Dharwad: Not For Loan (1)Call number: 511.3 BRO / B. Add to cart (remove)
	2.	An introduction to Godel's theorems by Smith, Peter [Author] Series: Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, ©2013 Availability: Items available for loan: IIT - Dharwad (1)Call number: 511.3 SMI / DST. Place hold Add to cart (remove)

Refine your search