Your search returned 3 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.	A first journey through logic by Hils, Martin Loeser, Fancois Series: Student methemetical library ; vol.89 Material type: 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 (remove)
	3.	Turing computability by Soare, Robert Irving Edition: 4th ed. Material type: 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 (remove)

Refine your search