Name: Metalogic: An Introduction to the Metatheory of Standard First Order Logic (en Inglés)
SKU: 3929058
Price: 581.53 MXN
Availability: InStock
Author: Geoffrey Hunter
ISBN: 9780520023567

portada Metalogic: An Introduction to the Metatheory of Standard First Order Logic (en Inglés)

Metalogic: An Introduction to the Metatheory of Standard First Order Logic (en Inglés)

Formato

Libro Físico

Editorial

University Of California Press

Autor

Geoffrey Hunter

Año

1996

Idioma

Inglés

N° páginas

304

Encuadernación

Tapa Blanda

Peso

0.75

ISBN

0520023560

ISBN13

9780520023567

N° edición

Categorías

Filosofía: lógica

Metalogic: An Introduction to the Metatheory of Standard First Order Logic (en Inglés)

Geoffrey Hunter (Autor) · University Of California Press · Tapa Blanda

Libro Nuevo Importado

Envío: 13 a 18 días háb.

$ 1,292.30$ 581.53

-55%

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

Libro Nuevo

Quedan más de 100 unidades

$ 581.53

¡Envío Gratis! Llega entre el 23 Sep y el 01 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Metalogic: An Introduction to the Metatheory of Standard First Order Logic (en Inglés)"

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.