Your search returned 5 results.

Results
	1.	Computability & unsolvability by Davis, Martin Series: McGraw-Hill series in information processing and computers Edition: Dover ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1982 Online access: Publisher description Table of contents Availability: Items available for loan: IIITD (1)Call number: 511.3 DAV-C. Place hold Add to cart (remove)
	2.	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)
	3.	Theory of recursive functions and effective computability by Rogers, Hartley, 1926- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, ©1987 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 ROG-T. 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.	An introduction to Ramsey theory : fast functions, infinity, and metamathematics by Katz, Matthew Reimann, Jan Series: Student mathematical library ; vol. 87 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Providence, Rhode island : American Mathematical Society, ©2018 Availability: Items available for loan: IIITD (1)Call number: REF 511.66 KAT-I. Place hold Add to cart (remove)

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