Computability and logic

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional top...

पूर्ण विवरण

में बचाया:
ग्रंथसूची विवरण
मुख्य लेखक: Boolos, George
स्वरूप: पुस्तक
भाषा:Undetermined
प्रकाशित: Cambridge,New York Cambridge University Press 2002
विषय:
टैग : टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ