Computability and Logic Fifth Edition

Valutazione media 3,96
( su 94 valutazioni fornite da Goodreads )
 
9780521701464: Computability and Logic Fifth 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Review:

'... gives an excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.' American Math Monthly

'The writing style is excellent: Although many explanations are formal, they are perfectly clear. Modern, elegant proofs help the reader understand the classic theorems and keep the book to a reasonable length.' Computing Reviews

' ... a valuable asset to those who want to enhance their knowledge and strengthen their ideas in the areas of artificial intelligence, philosophy, theory of computing, discrete structures, mathematical logic. It is also useful to teachers for improving their teaching style in these subjects.' Computer Engineering

Book 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, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This fifth edition was first published in 2007.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2007. Paperback. Condizione libro: New. 5th Revised edition. Language: English . Brand New Book. 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. Codice libro della libreria AAZ9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 29,63
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: Italia
Destinazione, tempi e costi

2.

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2007. Paperback. Condizione libro: New. 5th Revised edition. Language: English . Brand New Book. 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. Codice libro della libreria AAZ9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 29,63
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: Italia
Destinazione, tempi e costi

3.

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Editore: Cambridge University Press 2007-09-17, Cambridge (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi paperback Quantità: > 20
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press 2007-09-17, Cambridge, 2007. paperback. Condizione libro: New. Codice libro della libreria 9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,47
Da: Regno Unito a: Italia
Destinazione, tempi e costi

4.

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Editore: Cambridge University Press
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Paperback Quantità: 5
Print on Demand
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Paperback. Condizione libro: new. BRAND NEW PRINT ON DEMAND., Computability and Logic (5th Revised edition), George S. Boolos, John P. Burgess, Richard C. Jeffrey, 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. Codice libro della libreria B9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 29,03
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,65
Da: Regno Unito a: Italia
Destinazione, tempi e costi

5.

George S. Boolos
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Quantità: 1
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97805217014640000000

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 36,54
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

6.

Boolos, George S
Editore: Cambridge University Press (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Quantità: 1
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2007. PAP. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria GB-9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 25,57
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,18
Da: Regno Unito a: Italia
Destinazione, tempi e costi

7.

Boolos, George S.
Editore: Cambridge University Press (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2007. PAP. Condizione libro: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IQ-9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,71
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,18
Da: Regno Unito a: Italia
Destinazione, tempi e costi

8.

Boolos, George S.
Editore: Cambridge University Press (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2007. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IQ-9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,39
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,81
Da: U.S.A. a: Italia
Destinazione, tempi e costi

9.

Boolos, George S.
Editore: Cambridge University Press
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Quantità: 1
Da
Textbooksrus UK
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Condizione libro: Brand New. Dispatch Same Working Day, (Delivery 2-4 business days, Courier For Heavy/Expensive Items) Money Back Guarantee, Prompt Customer Service. Codice libro della libreria 42132754

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,26
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 16,77
Da: Regno Unito a: Italia
Destinazione, tempi e costi

10.

Boolos, George
Editore: Cambridge University Press (2016)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780521701464_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 35,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,93
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro