Compartir
undecidable theories (en Inglés)
Alfred Tarski
(Autor)
·
Andrzej Mostowski
(Autor)
·
Raphael M. Robinson
(Autor)
·
Dover Publications
· Tapa Blanda
undecidable theories (en Inglés) - Tarski, Alfred ; Mostowski, Andrzej ; Robinson, Raphael M.
$ 310.75
$ 621.49
Ahorras: $ 310.75
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Viernes 17 de Mayo y el
Jueves 30 de Mayo.
Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.
Reseña del libro "undecidable theories (en Inglés)"
This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, A General Method in Proofs of Undecidability, examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, Undecidability and Essential Undecidability in Mathematics, explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the Elementary Theory of Groups.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.