Undecidable
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
ISBN：9780486669809First English translation of revolutionary paper (1931) that established that even in elementary pa...
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
The Undecidable
ISBN：9780486432281An anthology of fundamental papers on undecidability and unsolvability, this classic reference open...