hondana.org
本を探す

 

Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
B. Jacobs
Elsevier Science
ISBN: 0444501703　 紀伊國屋, Amazon, WebCat
カテゴリ
評　　価
コメント
Calculi : たぶん一生積読
他の本棚
最終更新 : 2005-07-19 20:51:51 +0900
カテゴリ
評　　価
コメント
Fms