1.

図書
図書
1. Conceptual mathematics : a first introduction to categories. 2nd ed
F. William Lawvere, Stephen H. Schanuel
出版情報: Cambridge : Cambridge University Press, 2009
所蔵情報: loading…
2.

図書
図書
2. A mathematical introduction to logic. 2nd ed
Herbert B. Enderton
出版情報: San Diego : Harcourt/Academic Press, c2001
所蔵情報: loading…
3.

図書
図書
3. Basic proof theory. 2nd ed
A.S. Troelstra, H. Schwichtenberg
出版情報: Cambridge ; New York : Cambridge University Press, 2000
シリーズ名: Cambridge tracts in theoretical computer science ; 43
所蔵情報: loading…
4.

図書
図書
4. Logic and structure. 4th ed
Dirk van Dalen
出版情報: Berlin : Springer, c2004
シリーズ名: Universitext
所蔵情報: loading…
5.

図書
図書
5. An introduction to the uncertainty principle : Hardy's theorem on Lie groups
Sundaram Thangavelu
出版情報: Boston : Birkhäuser, c2004
シリーズ名: Progress in mathematics ; v. 217
所蔵情報: loading…
6.

図書
図書
6. Acid rain and ozone layer depletion : international law and regulation
Jutta Brunnée
出版情報: Dobbs Ferry, N.Y. : Transnational Publishers, c1988
所蔵情報: loading…
7.

図書
図書
7. Grosses deutsch-japanisches Wörterbuch
相良守峯編
出版情報: 東京 : 博友社, 1958.6
所蔵情報: loading…
8.

雑誌
雑誌
8. Columbia law review
Columbia University
出版情報: New York : Columbia University Press, 1901.1-
巻次(年次): Vol. 1, no. 1 (Jan. 1901)-
所蔵情報: loading…
9.

雑誌
雑誌
9. Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts
Max-Planck-Institut für ausländisches und internationales Privatrecht
出版情報: Berlin : Walter de Gruyter
所蔵情報: loading…
10.

雑誌
雑誌
10. Entscheidungen des Bundesarbeitsgerichts
Germany (West). Bundesarbeitsgericht
出版情報: Berlin : Walter de Gruyter, 1955-
巻次(年次): 1. Bd. (1955)-
所蔵情報: loading…