1.

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

図書
図書
2. 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…
3.

図書
図書
3. 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…
4.

図書
図書
4. 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…
5.

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

図書
図書
6. 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…
7.

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

図書
図書
8. Lectures on geometric measure theory
Leon Simon
出版情報: [Canberra] : Centre for Mathematical Analysis, Australian National University, 1984
シリーズ名: Proceedings of the Centre for Mathematical Analysis, Australian National University ; v. 3, 1983
所蔵情報: loading…
9.

図書
図書
9. Grundzüge der linearen Algebra, Differential- und Integralrechnung der Funktionen von mehreren Veränderlichen
Strubecker, Karl, 1904-
出版情報: München : R. Oldenbourg, 1984
シリーズ名: Einführung in die höhere Mathematik : mit besonderer Berücksichtigung ihrer Anwendungen auf Geometrie, Physik, Naturwissenschaften und Technik / von Karl Strubecker ; Bd. 4
所蔵情報: loading…
10.

図書
図書
10. Uber unendliche, lineare Punktmannigfaltigkeiten : Arbeiten zur Mengenlehre aus den Jahren 1872-1884
G. Cantor ; herausgegeben und kommentiert von G. Asser
出版情報: Leipzig : BSB B. G. Teubner Verlagsgesellschaft , Wien ; New York : Distributed by Springer-Verlag, 1984
シリーズ名: Teubner-Archiv zur Mathematik ; Bd. 2
所蔵情報: loading…