FEEDBACK Smiley face

Your search returned 4 results. Subscribe to this search

|
1. The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

by Davis, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1965Availability: Items available for loan: IIITD [REF 512.8 DAV-U] (1).

2. Satan, cantor & infinity : mind-boggling puzzles

by Smullyan, Raymond M.

Edition: Dover ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Dover Publications, 2009Other title: Satan, cantor, and infinity.Online access: Publisher description Availability: Items available for loan: IIITD [793.74 SMU-S] (1).

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

4. Enumerability, decidability, computability : an introduction to the theory of recursive functions.

by Hermes, Hans.

Edition: 2d rev. ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York, Springer, ©1969Availability:
Items available for reference: IIITD [REF 510.01 HER-E] (1).


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