On formally undecidable propositions of Principia mathematica and related systemsKurt GödelÉpuisé4,5Prévenez-moi
The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940Paolo MancosuÉpuisé4,4Prévenez-moi