使厌恶
发表于 2025-3-28 17:32:38
At the Origins of Metalogic,his work, and for a genuine understanding of its destiny. While he was, indeed, — as we will try to show — one of the genuine founders also of this logical discipline, it was precisely its development that played a decisive role in the decline and even the disappearance from the international scene of his logical tradition.
2否定
发表于 2025-3-28 20:12:02
Conference proceedings 2011ures in modern mathematics and logic and the most important mathematical logician in Italy - a century after the publication of Formulario Mathematico, a great attempt to systematise Mathematics in symbolic form..