SKU/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:
0.96 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.
AR$47.368
44% OFF
AR$26.316

IMPORT EASILY

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

AR$47.368
44% OFF
AR$26.316

Pagá fácil y rápido con Mercado Pago o MODO

Llega en 8 a 12 días hábiles
con envío
Tienes garantía de entrega
Este producto viaja de USA a tus manos en