Undecidable Theories : Studies in Logic and the Foundation of Mathematics

Bok av Alfred Tarski Andrzej (COL) Mostowski Raphael M. (COL) Robinson
This well-known book by the famed logician consists of three treatises: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups." 1953 edition.