Name: Computability and Logic (en Inglés)
Price: 169.18 USD
Availability: InStock
Author: Boolos, George S. ; Burgess, John P. ; Jeffrey, Richard C.
ISBN: 9780521877527

portada Computability and Logic (en Inglés)

Formato

Libro Físico

Autor

Richard C. Jeffrey

George S. Boolos

John P. Burgess

Editorial

Cambridge University Press

Año

2007

Idioma

Inglés

N° páginas

366

Encuadernación

Tapa Dura

Dimensiones

25.3 x 18.4 x 2.5 cm

Peso

0.78 kg.

ISBN

0521877520

ISBN13

9780521877527

N° edición

0005

Categorías

Lógica matemática
Filosofía: lógica

Computability and Logic (en Inglés)

Richard C. Jeffrey (Autor) · George S. Boolos (Autor) · John P. Burgess (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 307.60$ 169.18

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 169.18

Llega entre el 03 Sep y el 16 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Computability and Logic (en Inglés)"

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. 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.