Recursion theory : computational aspects of definability
	Tác giả: C-T Chong, Liang Yu
	Xuất bản: : ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.35  Thêm vào giỏ

Computability, enumerability, unsolvability : directions in recursion theory
	Tác giả: S B Cooper, T A Slaman, S S Wainer
	Xuất bản: Cambridge England New York: Cambridge University Press, 1996
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.35  Thêm vào giỏ

Theory of computation
	Tác giả: Dexter Kozen
	Xuất bản: London: Springer, 2006
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.352  Thêm vào giỏ

Potential wadge classes
	Tác giả: Dominique Lecomte
	Xuất bản: : ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  514.2  Thêm vào giỏ

E-recursion, forcing and C*-algebras
	Tác giả: C-T Chong
	Xuất bản: : ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Scattering Amplitudes in Quantum Field Theory
	Tác giả:
	Xuất bản: Cham: Springer Nature, 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Computability [electronic resource]
	Tác giả: George Tourlakis
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

How to think about algorithms [electronic resource]
	Tác giả: Jeff Edmonds
	Xuất bản: Cambridge New York: Cambridge University Press, 2008
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  518.1  Thêm vào giỏ