Your search returned 4 results.

Results
	1.	Theory of computation by Tourlakis, George J Material type: Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley, 2012 Availability: Items available for loan: IIITD (1)Call number: REF 511.352 TUR-T. Place hold Add to cart (remove)
	2.	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)
	3.	Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Supowit, Kenneth J [author.] SpringerLink (Online service) Series: Computer Science Foundations and Applied Logic Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Reverse Mathematics [electronic resource] : Problems, Reductions, and Proofs / by Dzhafarov, Damir D [author.] Mummert, Carl [author.] SpringerLink (Online service) Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

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