Artículos relacionados a 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:
'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
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.
- EditorialNew Publisher
- Año de publicación2021
- ISBN 10 0521877520
- ISBN 13 9780521877527
- EncuadernaciónTapa dura
- Número de edición5
- Número de páginas100
- Valoración
Comprar nuevo
Ver este artículo
EUR 94,70
Gastos de envío:
EUR 11,63
De Reino Unido a Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Computability and Logic
Publicado por
Cambridge University Press
(2007)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9780521877527_lsuk
Comprar nuevo
EUR 94,70
Convertir moneda
Gastos de envío:
EUR 11,63
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computability and Logic
Publicado por
Cambridge University Press
(2007)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 2f2bcf9efd718f4cea067b7f35b04a0f
Comprar nuevo
EUR 95,56
Convertir moneda
Imagen del vendedor
Computability and Logic
Publicado por
Cambridge University Press
(2007)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 5272895-n
Comprar nuevo
EUR 107,00
Convertir moneda
Imagen del vendedor
Computability and Logic
Publicado por
Cambridge University Press
(2007)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 5272895-n
Comprar nuevo
EUR 94,69
Convertir moneda
Gastos de envío:
EUR 17,49
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computability and Logic
Publicado por
Cambridge University Press
(2007)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Nº de ref. del artículo: C9780521877527
Comprar nuevo
EUR 109,66
Convertir moneda
Gastos de envío:
EUR 10,43
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computability and Logic
Publicado por
Cambridge University Press
(2007)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190019856
Comprar nuevo
EUR 119,67
Convertir moneda
Imagen de archivo
Computability and Logic
Publicado por
Cambridge Univ Pr
(2007)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: Brand New. 5th edition. 350 pages. 10.25x7.25x1.00 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __0521877520
Comprar nuevo
EUR 116,04
Convertir moneda
Gastos de envío:
EUR 11,66
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computability and Logic
Publicado por
Cambridge University Press
(2007)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: I-9780521877527
Comprar nuevo
EUR 147,44
Convertir moneda
Imagen del vendedor
Computability and Logic
Publicado por
Cambridge University Press
(2012)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Turi. Nº de ref. del artículo: 446951851
Comprar nuevo
EUR 116,65
Convertir moneda
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Computability and Logic
Publicado por
Cambridge University Press
(2007)
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computability and Logic is a classic because of its accessibility to students without a mathematical background. Nº de ref. del artículo: 9780521877527
Comprar nuevo
EUR 163,02
Convertir moneda
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío