■

• 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
• ヴィクトル・クラフト　　『ウィーン学団　論理実証主義の起源』、飛田就一、里見軍之監訳、富士思想叢書、富士書店、1990年

Turing さんの文献については、以下の '[Miscellanea]　Turing Centennial Celebration at Princeton' をご覧ください。