Undecidable theories

Undecidable theories
About this book
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.
Details
- OL Work ID
- OL15602187W
Subjects
Metamathematics