トップ «前の日記(2009-06-06) 最新 次の日記(2009-06-12)» 月表示 編集

日々の流転


2009-06-11 [長年日記]

λ. スコーレムの有限主義 by 出口 康夫

を読んだ。

Tags: 論文 logic