FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. Kurt Godel and the foundations of mathematics : horizons of truth

by Baaz, Matthias.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cambridge University Press, ©2011Online access: Table of contents only Availability: Items available for loan: IIITD [511.3 BAA-K] (1).

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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available

3. Computer Science Logic [electronic resource] :17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings /

by Baaz, Matthias [editor.] | Makowsky, Johann A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in