 |


|
 |
Item Details
Title:
|
COMPUTABILITY AND LOGIC
|
By: |
George S. Boolos, John P. Burgess, Richard C. Jeffrey |
Format: |
Paperback |

List price:
|
£32.00 |
Our price: |
£28.00 |
Discount: |
|
You save:
|
£4.00 |
|
|
|
|
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 |
|
|
|
 |


|

|

|

|

|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.

|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...

|

|

|
|
 |