On formally undecidable propositions of Principia mathematica and related systemsKurt GödelEsaurito4,5Avvisami
The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940Paolo MancosuEsaurito4,4Avvisami