【図書】 ゲーデルと20世紀の論理学(ロジック) 2
完全性定理とモデル理論 -- 田中一之 /編 -- 東京大学出版会 -- 2006.10 -- 22cm -- 286p
ページの先頭へ
所蔵は 1 件です。現在の予約件数は 0 件です。