here you goThings I’ve made, read and saved — shared here.

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Published
1962
Added
2019-01-05