Computability and Logic

3,97 valoración promedio
( 92 valoraciones por 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, 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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas:

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

Reseña del editor:

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Boolos, George S.
Editorial: Cambridge University Press (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
PBShop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2007. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería I2-9780521701464

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 30,82
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,69
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2007. Paperback. Estado de conservación: 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. Nº de ref. de la librería AAV9780521701464

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 34,83
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2007. Paperback. Estado de conservación: 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. Nº de ref. de la librería AAV9780521701464

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 34,94
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Editorial: Cambridge University Press
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Paperback Cantidad: 5
Impresión bajo demanda
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press. Paperback. Estado de conservación: 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. Nº de ref. de la librería B9780521701464

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 29,96
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,86
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Boolos, George
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Paperback Cantidad: > 20
Impresión bajo demanda
Librería
BargainBookStores
(Grand Rapids, MI, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: New. This item is printed on demand. Item doesn't include CD/DVD. Nº de ref. de la librería 1753411

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 33,20
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,69
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

John P. Burgess
Editorial: Cambridge University Press
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Paperback Cantidad: 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press. Paperback. Estado de conservación: 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. Nº de ref. de la librería 9780521701464

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 33,81
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,66
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Boolos, George/ Burgess, John P./ Jeffrey, Richard C.
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Cantidad: 5
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Estado de conservación: 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. Nº de ref. de la librería NU-ING-00446279

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 35,68
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,45
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Boolos, George S.
Editorial: Cambridge University Press (2007)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2007. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería I2-9780521701464

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 29,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,39
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Boolos, George
Editorial: Cambridge University Press (2016)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9780521701464_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 35,94
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,86
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Boolos, George S.
Editorial: Cambridge University Press (2017)
ISBN 10: 0521701465 ISBN 13: 9780521701464
Nuevos Paperback Cantidad: 20
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2017. Paperback. Estado de conservación: New. This item is printed on demand. Nº de ref. de la librería 0521701465

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 37,23
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,77
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda