Liknande böcker
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.