close
1.

図書
図書
1. 一般位相
Seymour Lipschutz著 ; 大矢建正, 花澤正純共訳
出版情報: 東京 : オーム社, 1995.6  ix, 270p ; 26cm
シリーズ名: マグロウヒル大学演習
所蔵情報: loading…
2.

図書
図書
2. 笹尾靖也先生ご還暦記念献呈論文集
出版情報: [出版地不明] : [出版者不明], 1997  1冊 ; 26cm
所蔵情報: loading…
3.

図書
図書
3. Categories for types (: pbk)
Roy L. Crole
出版情報: Cambridge [England] : Cambridge University Press, 1993  xvii, 335 p. ; 24 cm
シリーズ名: Cambridge mathematical textbooks
所蔵情報: loading…
目次情報: 続きを見る
Order, lattices and domains / 1：
Basic category theory / 2：
Algebraic type theory / 3：
Functional type theory / 4：
Polymorphic functional type theory / 5：
Higher order polymorphism / 6：
Order, lattices and domains / 1：
Basic category theory / 2：
Algebraic type theory / 3：
4.

図書
図書
4. 位相入門
内田伏一著
出版情報: 東京 : 裳華房, 1997.8  v, 152p ; 21cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼