Report - Types and Functions since Principia · 2010. 12. 4. · Principia Mathematica anniversary symposium 20. Prehistory of Types (Russell’s paradox in Grundgesetze) •In 1902, Russell

Please pass captcha verification before submit form