Ảnh bìa

Computability and logic

Chi tiết về thư mục
Tác giả chính: Boolos, George
Tác giả khác: Burgess, John P. 1948-, Jeffrey, Richard C.
Định dạng: Sách
Ngôn ngữ:Tiếng Anh
Được phát hành: Cambridge Cambridge University Press c2002.
Phiên bản:4th ed.
Những chủ đề:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.