Computability and Logic

Valutazione media 3,97
( su 92 valutazioni fornite da GoodReads )
 
9780521701464: Computability and Logic

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.

Recensione:

'… 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

Descrizione del libro:

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.

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 I2-9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 30,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
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à: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2007. Paperback. Condizione libro: New. 5th Revised edition. 257 x 178 mm. Language: English . Brand New Book ***** Print on Demand *****.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 AAV9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,86
Convertire valuta

Aggiungere al carrello

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

3.

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à: 10
Print on Demand
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. 257 x 178 mm. Language: English . Brand New Book ***** Print on Demand *****. 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 AAV9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,96
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
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,98
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,86
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Boolos, George
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Paperback Quantità: > 20
Print on Demand
Da
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. This item is printed on demand. Item doesn't include CD/DVD. Codice libro della libreria 1753411

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 33,22
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
Destinazione, tempi e costi

6.

John P. Burgess
Editore: Cambridge University Press
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Paperback Quantità: 20
Da
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Paperback. Condizione libro: New. Paperback. 366 pages. Dimensions: 10.1in. x 7.0in. x 0.9in.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 Godels incompleteness theorems, but also a large number of optional topics, from Turings theory of computability to Ramseys theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Codice libro della libreria 9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 33,83
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,66
In U.S.A.
Destinazione, tempi e costi

7.

Boolos, George/ Burgess, John P./ Jeffrey, Richard C.
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Quantità: 5
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-ING-00446279

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 35,70
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,45
Da: Regno Unito a: U.S.A.
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
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 I2-9780521701464

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 29,06
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,40
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

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,97
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,86
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Boolos, George S.
Editore: Cambridge University Press (2017)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuovi Paperback Quantità: 20
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria 0521701465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 37,25
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,77
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro