A review by paddlefootbookwolf
On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel, Bernard Meltzer

challenging informative reflective slow-paced

3.0