【図書】 圏論による論理学
高階論理とトポス -- 清水義夫 /著 -- 東京大学出版会 -- 2007.12 -- 21cm -- 216p
ページの先頭へ
所蔵は 1 件です。現在の予約件数は 0 件です。