On Formally Undecidable Propositions of Principia Mathematica and Related Systems | 9780486669809 | Memmo