Artículo: AMZ-1077323395

Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)

Format:

Paperback

Detalles del producto
Disponibilidad
En stock
Peso con empaque
0.62 kg
Devolución
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA

Sobre este producto
  • This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.
$24,68
31% OFF
$17,02

IMPORT EASILY

By purchasing this product you can deduct VAT with your RUT number

$24,68
31% OFF
$17,02

20% OFF adicional al pagar con Deuna

Envío gratis
Llega en 5 a 12 días hábiles
Con envío
Tienes garantia de entrega
Este producto viaja de USA a tus manos en