ゲーデルと20世紀の論理学(ロジック) 1

单行本-精装, 東京大学出版会,トウキヨウ ダイガク シユツパンカイ トウキヨウダイガクシユツパンカイ 5149