今日は手短に入手文献を記すにとどめます。

  • 田中一之編  『ゲーデルと20世紀の論理学3 不完全性定理と算術の体系』、東京大学出版会、2007年
  • 岩熊幸男  「ライブニッツの内包論理 ―Generales Inquisitionesの一解釈―」、『哲学論叢』、京都大学哲学論叢刊行会、第5号、1978年
  • 佐々木崇  「論理的真理に関するクワインの議論の検討」、『哲学論叢』、京都大学哲学論叢刊行会、第30号、2003年

あとの2つの論文はnetからDLできます。
京大の「京都大学学術情報リポジトリ」というところから、『哲学論叢』の2005年分まで全部無料で見れます。