Scan barcode

350 pages • first pub 1980 (editions)
ISBN/UID: 9780521877527
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 01 September 2007
Description
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, bu...
Community Reviews
Content Warnings

350 pages • first pub 1980 (editions)
ISBN/UID: 9780521877527
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 01 September 2007
Description
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, bu...