Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computability & unsolvability by Series: McGraw-Hill series in information processing and computers
Edition: Dover ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover Publications, ©1982
Online access:
Availability: Items available for loan: IIITD (1)Call number: 511.3 DAV-C.

Place hold Add to cart
2.
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions by
Material type: Text 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
3.
Theory of recursive functions and effective computability by
Material type: Text 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
4.
Enumerability, decidability, computability : an introduction to the theory of recursive functions. by Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127
Edition: 2d rev. ed.
Material type: Text 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
5.
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets by Series: Perspectives in Mathematical Logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©1987
Availability: Not available: IIITD: Checked out (1).

Place hold Add to cart
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in

Powered by Koha