|
|
|
Item Details
Title:
|
COMPUTABILITY AND LOGIC
|
By: |
George S. Boolos, John P. Burgess, Richard C. Jeffrey |
Format: |
Paperback |
List price:
|
£29.99 |
Our price: |
£26.24 |
Discount: |
|
You save:
|
£3.75 |
|
|
|
|
ISBN 10: |
0521701465 |
ISBN 13: |
9780521701464 |
Availability: |
Usually dispatched within 1-3 weeks.
Delivery
rates
|
Stock: |
Currently 0 available |
Publisher: |
CAMBRIDGE UNIVERSITY PRESS |
Pub. date: |
17 September, 2007 |
Edition: |
5th Revised edition |
Pages: |
366 |
Description: |
Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007. |
Synopsis: |
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. |
Publication: |
UK |
Imprint: |
Cambridge University Press |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|