Artículo: AMZ-B099C47ND8

Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)

Format:

Paperback

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

Sobre este producto
  • A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.
$47,17
55% OFF
$21,44

IMPORT EASILY

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

$47,17
55% OFF
$21,44

3 meses de gracia en diferidos y hasta 6 meses sin intereses con Pacificard

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