Bookbot

Undecidable Theories

Évaluation du livre

4,2(11)Évaluer

En savoir plus sur le livre

This book is well known for its proof that many mathematical systems — including lattice theory and closure algebras — are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups."

Achat du livre

Undecidable Theories, Alfred Tarski

Langue
Année de publication
2010
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

4,2
Très bien
11 Évaluations

Il manque plus que ton avis ici.