Your search returned 6 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.
Real analysis : a constructive approach through interval arithmetic by Series: Pure and applied undergraduate texts ; 38 | The Sally series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Rhode Island USA : American Mathematical Society, ©2019
Availability: Items available for loan: IIITD (1)Call number: 515 BRI-R.

Place hold Add to cart
4.
A first journey through logic by Series: Student methemetical library ; vol.89
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Rhode Island : American Mathematical Society, ©2019
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 HIL-F.

Place hold Add to cart
5.
Turing computability by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Chicago : Springer, ©2016
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.352 SOA-T.

Add to cart
6.
Methods of solving number theory problems by
Material type: Text Text; Format: print available online remote; Literary form: Not fiction
Publication details: Switzerland : Birkhauser, ©2018
Availability: Items available for loan: IIITD (1)Call number: 512.7 GRI-M.

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

Powered by Koha