Your search returned 11 results.

Results
	1.	A course in mathematical logic for mathematicians by Manin, Yu.I [Author] Series: Graduate texts in mathematics ; 53. Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-verlog, ©2010 Availability: Items available for loan: IIT - Dharwad (1)Call number: 511.3 MAN / B. Place hold Add to cart (remove)
	2.	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)
	3.	The logic of chance by Venn, John [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©2006 Availability: Items available for loan: IIT - Dharwad (1)Call number: 123.3 VEN / B. Place hold Add to cart (remove)
	4.	Number theory : an approach through history from Hammurapi to Legendre by Weil, Andre [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Birkhauser, ©2007 Availability: Items available for loan: IIT - Dharwad (1)Call number: 512.7 WEI / B. Place hold Add to cart (remove)
	5.	No cover image available Mathematics and logic Retrospect and prospect by Kac, Mark [Author] Ulam, Stanislaw [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Middlesex : Penguin Books, @1968 Availability: Items available for loan: IIT - Dharwad (1)Call number: 511.3 KAC / G. Place hold Add to cart (remove)
	6.	Kurt Gödel and the foundations of mathematics : horizons of truth by Baaz, Mattias [Editor] Papadimitriou, Christos H [Editor] Putnam, Hilary W [Editor] Scott, Dana S [Editor] Harper, Charles L [Editor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, ©2011 Availability: Items available for loan: IIT - Dharwad (1)Call number: 510.92 BAA / B. Place hold Add to cart (remove)
	7.	Computability and unsolvability by Davis, Martin [Author] Series: McGraw-Hill series in information processing and computers Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1982 Availability: Items available for loan: IIT - Dharwad (1)Call number: 511.35 DAV / SGNF. Place hold Add to cart (remove)
	8.	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)
	9.	Mathematical olympiad treasures by Andrescu, Titu [Author] Enescu, Bogdan [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Springer Science+Business Media, ©2004 Availability: Items available for loan: IIT - Dharwad (1)Call number: 510.76 AND / G. Place hold Add to cart (remove)
	10.	Mathematical olympiad challenges by Andreescu, Titu [Author] Gelca, Razvan [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Springer (India) Private Limited, ©2004 Availability: Items available for loan: IIT - Dharwad (1)Call number: 510.76 AND / G. Place hold Add to cart (remove)
	11.	Mathematical logic by Ebbinghaus, Heinz-Dieter [Author] Flum, Jorg [Author] Thomas, Wolfgang [Author] Series: Graduate texts in mathematics ; 291 Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©1984 Availability: Items available for loan: IIT - Dharwad (1)Call number: 511.3 EBB / NBHM. Place hold Add to cart (remove)

This Site Maintained by Central Library, IIT DharwadFor any Queries / Suggestions Please Contact us @Phone: (0836) 221 2824; e-mail: librarian@iitdh.ac.in

This Site is Best Viewed with Mozilla Firefox.