Your search returned 3 results.

Results
	1.	Kurt Godel and the foundations of mathematics : horizons of truth by Baaz, Matthias Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2011 Online access: Table of contents only Availability: Items available for loan: IIITD (1)Call number: 511.3 BAA-K. Place hold Add to cart (remove)
	2.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings / by Baaz, Matthias [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2514 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Computer Science Logic [electronic resource] : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / by Baaz, Matthias [editor.] Makowsky, Johann M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2803 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in