1.

図書
図書
1. Intuitionistic type theory
Per Martin-Löf
出版情報: Napoli : Bibliopolis, c1984
シリーズ名: Studies in proof theory : lecture notes ; 1
所蔵情報: loading…
2.

図書
図書
2. 一般数学. 第2版
新濃清志著
出版情報: 東京 : 森北出版, 1984.11
シリーズ名: 大学の教養数学 / 小松勇作編 ; 3
所蔵情報: loading…
3.

図書
図書
3. 定理からの数学入門
日本評論社
出版情報: 東京 : 日本評論社, 1984
シリーズ名: 数学セミナー ; 増刊 . 数学セミナー・リーディングス||スウガク セミナー リーディングス ; 1984
所蔵情報: loading…
4.

図書
図書
4. Séminaire général de logique, 1982-1983
Françoise Delon ... [et al.]
出版情報: [Paris] : U.E.R. de Mathematiques & L.A. 212 du C.N.R.S., [1984?]
シリーズ名: Publications mathématiques de l'Université Paris VII ; 19
所蔵情報: loading…
5.

図書
図書
5. Volume preserving actions of lattices in semisimple groups on compact manifolds . Metaplectic forms . The C[1+α] hypothesis in pesin theory . Propriétés ergodiques des mesures de sinaï
by Robert J. Zimmer . by D. A. Kazhdan and S. J. Patterson . by Charles C. Pugh . par F. Ledrappier
出版情報: Bures-sur-Yvette : Institut des hautes études scientifiques, 1984
シリーズ名: Publications mathématiques ; no. 59
所蔵情報: loading…
6.

図書
図書
6. Schémas en groupes Existence d'une donnée radicielle valuée
par F. Bruhat et J. Tits .
出版情報: Bures-Sur-Yvette : Institut des hautes études scientifiques, 1984
シリーズ名: Publications mathématiques ; no. 60 . Groupes réductifs sur un corps local ; 2
所蔵情報: loading…
7.

図書
図書
7. Théorie spectrale pour des opérateurs globalement elliptiques
par Bernard Helffer
出版情報: Paris : Société mathématique de France, 1984
シリーズ名: Astérisque ; 112
所蔵情報: loading…
8.

図書
図書
8. Homotopie algébrique et algèbre locale : Journées S.M.F. au C.I.R.M. du 1[er] au 5 juin 1982
organisées par J.-M. Lemaire et J.-C. Thomas
出版情報: Paris : Société mathématique de France, 1984
シリーズ名: Astérisque ; 113-114
所蔵情報: loading…
9.

図書
図書
9. パソコンによる初等数学
グループ88編
出版情報: 東京 : 朝倉書店, 1984.4
所蔵情報: loading…
10.

図書
図書
10. Сборник задач киевских математических олимпиад
В.А. Вышенский ... [и др.]
出版情報: Киев : Изд-во при Киевском гос. университете издательского объединения "Вища школа", 1984
所蔵情報: loading…