Treatise on Basic Philosophy Volume2
QUANTUM MECHANICS, An Empiricist View :量子力学、経験主義的見解
Collegium Logicum, Annals of the Kurt-Godel-Society Volume 2 :コレギウム・ロジカム(論理的な大学)
Collegium Logicum, Annals of the Kurt-Godel-Society Volume 2 :コレギウム・ロジカム(論理的な大学)
Readings in THE PHILOSOPHY OF SCIENCE :科学の哲学の読み
Automated Theorem-Proving in Non-Classical Logics :非古典的論理における自動定理証明
Treatise on Basic Philosophy Volume3