Đang tải...

Computability and logic /

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic b...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính: Boolos, George S.
Tác giả khác: Burgess, John P., Jeffrey, Richard C.
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Cambridge ; New York : Cambridge University Press, 2002.
Phiên bản:4th ed.
Những chủ đề:
Truy cập trực tuyến:http://www.loc.gov/catdir/toc/cam024/2001043302.html
http://www.loc.gov/catdir/description/cam022/2001043302.html

Internet

http://www.loc.gov/catdir/toc/cam024/2001043302.html
http://www.loc.gov/catdir/description/cam022/2001043302.html

University of Calicut

Chi tiết quỹ từ University of Calicut
Số hiệu: 511.3 BOO/C
Sao chép Trạng thái trực tiếp không khả dụng