menu

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

by Daniel Mang and Marcello Mercado >