Bookbot

Undecidable Theories

Buchbewertung

4,2(11)Abgeben

Mehr zum Buch

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."

Buchkauf

Undecidable Theories, Alfred Tarski

Sprache
Erscheinungsdatum
2010
product-detail.submit-box.info.binding
(Paperback)
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

4,2
Sehr gut
11 Bewertung

Hier könnte deine Bwertung stehen.