Mutter or On Formally Undecidable Propositions of Principia Mathematical And Related Systems by Gödel revisited, 2000

Database: ADA