Computability and Logic (Hardcover, 5th Revised edition)

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, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	September 2007
First published:	2007
Authors:	George S. Boolos • John P. Burgess • Richard C Jeffrey
Dimensions:	253 x 184 x 25mm (L x W x T)
Format:	Hardcover
Pages:	366
Edition:	5th Revised edition
ISBN-13:	978-0-521-87752-7
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Philosophy > Topics in philosophy > Logic
LSN:	0-521-87752-0
Barcode:	9780521877527

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!