FEEDBACK Smiley face

Your search returned 6 results. Subscribe to this search

|
1. Computability & unsolvability

by Davis, Martin.

Edition: Dover ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1982Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [511.3 DAV-C] (1).

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

3. Theory of recursive functions and effective computability

by Rogers, Hartley 1926-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, ©1987Availability: Items available for loan: IIITD [REF 511.3 ROG-T] (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).

5. An introduction to Ramsey theory : fast functions, infinity, and metamathematics

by Katz, Matthew | Reimann, Jan.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Providence, Rhode island : American mathematical society, ©2018Availability:
Items available for reference: IIITD [REF 511.66 KAT-I] (1).

6. Recursive macroeconomic theory

by Ljungqvist, Lars | Sargent, Thomas J.

Edition: 4th ed..Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : MIT Press, ©2018Availability: Items available for loan: IIITD [339.015 LJU-R] (1).


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