Your search returned 6 results.

Results
	1.	The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions by Davis, Martin Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1965 Availability: Items available for loan: IIITD (1)Call number: REF 512.8 DAV-U. Place hold Add to cart (remove)
	2.	Satan, cantor & infinity : mind-boggling puzzles by Smullyan, Raymond M Edition: Dover ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Dover Publications, 2009 Other title: Satan, cantor, and infinity Online access: Publisher description Availability: Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	3.	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: Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	4.	Enumerability, decidability, computability : an introduction to the theory of recursive functions. by Hermes, Hans Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127 Edition: 2d rev. ed. Material type: Text; Format: print ; Literary form: Not fiction Language: engger Publication details: New York, Springer, ©1969 Availability: Items available for loan: IIITD (1)Call number: REF 510.01 HER-E. Place hold Add to cart (remove)
	5.	The large, the small, and the human mind by Penrose, Roger Shimony, Abner Cartwright, Nancy Hawking, Stephen [Longair, Malcolm] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, ©1999 Online access: Publisher description Table of contents Availability: Items available for loan: IIITD (1)Call number: 006.3 PEN-L. Place hold Add to cart (remove)
	6.	Godel's theorem : a very short introduction by Moore, A. W Series: Very short introductions ; 718 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Oxford University Press, ©2022 Availability: Items available for loan: IIITD (1)Call number: 510 MOO-G. Place hold Add to cart (remove)

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

Powered by Koha