さて、本日も、私がついこのあいだまで知らなかった HP をご紹介致します。これもやはり知らないのは私だけだったという可能性が大きい HP です。というのも随分前から存在していたであろう HP だからです。 先日たまたま次のような HP を見かけました。 Tur…

A. M. Turing ''Systems of Logic Based on Ornials,'' A Dissertation Presented to the Faculty of Princeton University in Candidacy for the Degree of Doctor of Philosophy, May 1938 ヴィクトル・クラフト 『ウィーン学団 論理実証主義の起源』、飛…

Raymond M. Smullyan Theory of Formal Systems, Princeton University Press, Annals of Mathematics Studies, 1961