close
1.

図書

図書
Th. Skolem ... [et al.]
出版情報: Amsterdam : North-Holland Pub. Co., 1971  viii, 113 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
2.

図書

図書
by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson
出版情報: Amsterdam : North-Holland Pub. Co., 1953  xi, 98 p. ; 22 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
3.

図書

図書
簡野道明編著
出版情報: 東京 : 角川書店, 1955.3  3, 10, 15, 2358, 196, 39p ; 20cm
所蔵情報: loading…
4.

図書

図書
森清原編
出版情報: 東京 : 日本図書館協会, 1961.4  734p ; 22cm
所蔵情報: loading…
5.

図書

図書
ギリスピー [著] ; 島尾永康訳
出版情報: 東京 : みすず書房, 1971.4  viii, 342, 40p ; 21cm
所蔵情報: loading…
6.

図書

図書
武谷三男編著
出版情報: 東京 : 勁草書房, 1960.12  3, 453p ; 22cm
シリーズ名: 勁草概論シリーズ ; . 自然科学概論 / 武谷三男編著||シゼン カガク ガイロン ; 第2巻
所蔵情報: loading…
7.

図書

図書
加茂儀一 [ほか] 著
出版情報: 東京 : 中教出版, 1952.9  8, 379p ; 22cm
シリーズ名: 科学史大系 / 菅井準一 [ほか] 編 ; 1
所蔵情報: loading…
8.

図書

図書
原光雄 [ほか] 著
出版情報: 東京 : 中教出版, 1952.9  8, 285p ; 22cm
シリーズ名: 科学史大系 / 菅井準一 [ほか] 編 ; 3
所蔵情報: loading…
9.

図書

図書
中山秀太郎, 星野芳郎著
出版情報: 東京 : 中教出版, 1953.1  7, 345p ; 22cm
シリーズ名: 科学史大系 / 菅井準一 [ほか] 編 ; 5 . 物理技術史||ブツリ ギジュツシ ; 2
所蔵情報: loading…
10.

図書

図書
黒田孝郎, 近藤洋逸著
出版情報: 東京 : 中教出版, 1953.6  8, 439p ; 22cm
シリーズ名: 科学史大系 / 菅井準一 [ほか] 編 ; 10
所蔵情報: loading…
11.

図書

図書
田中実著
出版情報: 東京 : 中教出版, 1954.5  10, 451p ; 22cm
シリーズ名: 科学史大系 / 菅井準一 [ほか] 編 ; 11
所蔵情報: loading…
12.

図書

図書
コールマン, ユシケービッチ著 ; 山内一次, 井関清志訳
出版情報: 東京 : 東京図書, 1970-1971  2冊 ; 22cm
シリーズ名: 数学選書
所蔵情報: loading…
13.

図書

図書
武谷三男編著
出版情報: 東京 : 勁草書房, 1963.12  5, 533p ; 22cm
シリーズ名: 勁草概論シリーズ ; . 自然科学概論 / 武谷三男編著||シゼン カガク ガイロン ; 第3巻
所蔵情報: loading…
14.

図書

図書
D. Hilbert著 ; 一松信訳・解説
出版情報: 東京 : 共立出版, 1969  141p ; 22cm
シリーズ名: 現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 4
所蔵情報: loading…
15.

図書

図書
高木貞治著
出版情報: 東京 : 共立出版, 1970.10  195, 3p ; 19cm
シリーズ名: 共立全書 ; 183
所蔵情報: loading…
16.

図書

図書
[I.L. Heiberg編] ; 中村幸四郎 [ほか] 訳・解説
出版情報: 東京 : 共立出版, 1971.7  ii, 560p, 図版2枚 ; 27cm
所蔵情報: loading…
17.

図書

図書
物理学辞典編集委員会編
出版情報: 東京 : 培風館, 1984.9  viii, 2525p ; 27cm
所蔵情報: loading…
18.

図書

図書
小堀憲著
出版情報: 東京 : 共立出版, 1979.12  v, 213p ; 22cm
シリーズ名: 数学の歴史 : 現代数学はどのようにつくられたか / 伊東俊太郎 [ほか] 編 ; 5
所蔵情報: loading…
19.

図書

図書
寺阪英孝著 ; 伊東俊太郎 [ほか] 編集
出版情報: 東京 : 共立出版, 1981-1982  2冊 ; 22cm
シリーズ名: 数学の歴史 : 現代数学はどのようにつくられたか / 伊東俊太郎 [ほか] 編 ; 8a-8b . 19世紀の数学||19セイキ ノ スウガク
所蔵情報: loading…
20.

図書

図書
小学館ランダムハウス英和大辞典編集委員会編
出版情報: 東京 : 小学館, 1979.1  13, 3048p ; 26cm
所蔵情報: loading…
21.

図書

図書
湯浅光朝著
出版情報: 東京 : 中央公論社, 1960.4  266p ; 26cm
所蔵情報: loading…
22.

図書

図書
D.ヒルベルト, S.コーン=フォッセン [共著] ; 芹沢正三訳
出版情報: 東京 : みすず書房, 1966.8  vii, 388p ; 22cm
所蔵情報: loading…
23.

図書

図書
バートランド・ラッセル著 ; 鎮目恭夫訳
出版情報: 東京 : みすず書房, 1960  2冊 ; 20cm
シリーズ名: バートランド・ラッセル著作集 ; 9,10
所蔵情報: loading…
24.

図書

図書
W.V.O.クワイン著 ; 中村秀吉, 大森荘蔵訳
出版情報: 東京 : 岩波書店, 1961.12  xiii, 275p ; 22cm
所蔵情報: loading…
25.

図書

図書
E.フィッシャー著 ; 桑田智訳
出版情報: 東京 : 広川書店, 1963.4  xvii, 337p, 図版[4]枚 ; 18cm
所蔵情報: loading…
26.

図書

図書
コルモゴロフ, フォミーン著 ; 山崎三郎訳
出版情報: 東京 : 岩波書店, 1962.5  vii, 280p ; 22cm
所蔵情報: loading…
27.

図書

図書
武谷, 三男(1911-2000)
出版情報: 東京 : 勁草書房, 1962.7  7, 341p ; 22cm
シリーズ名: 勁草概論シリーズ ; . 自然科学概論 / 武谷三男編著 ||シゼン カガク ガイロン ; 第1巻
所蔵情報: loading…
28.

図書

図書
Wolfgang Rautenberg (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xxxix, 485 p. ; 28 cm
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 1
所蔵情報: loading…
29.

図書

図書
Wolfgang Rautenberg (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xxxvii, 469 p. ; 28 cm
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 2
所蔵情報: loading…
30.

図書

図書
Heinz-Dieter Ebbinghaus (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xlv, 617 p. ; 28 cm
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 3
所蔵情報: loading…
31.

図書

図書
Peter G. Hinman (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xlv, 697 p. ; 28 cm
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 4
所蔵情報: loading…
32.

図書

図書
Andreas R. Blass (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  li, 791 p. ; 28 cm
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 5
所蔵情報: loading…
33.

図書

図書
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xli, 405 p. ; 28 cm
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6
所蔵情報: loading…
34.

図書

図書
Bruce Stephenson
出版情報: New York ; Tokyo : Springer-Verlag, c1987  216 p. ; 25 cm
シリーズ名: Studies in the history of mathematics and physical sciences ; v. 13
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Mysterium Cosmographicum / 2:
Astronomia nova / 3:
Epitome of Copernican Astronomy / 4:
Kepler and the Development of Modern Science / 5:
Bibliography
Glossary
Index
Index to the Astronomia nova
Preface
Introduction
Mysterium Cosmographicum / 2:
35.

図書

図書
Siegfried Flügge
出版情報: Berlin ; New York : Springer-Verlag, 1971  2 v. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 177-178
所蔵情報: loading…
36.

図書

図書
Yiannis N. Moschovakis
出版情報: Amsterdam ; New York : North-Holland , New York : Sole distributors for the U.S.A. and Canada, Elsevier-North Holland, 1980  xii, 637 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 100
所蔵情報: loading…
37.

図書

図書
edited by Garrett Birkhoff ; with the assistance of Uta Merzbach
出版情報: Cambridge, Mass. : Harvard University Press, 1973  xii, 470 p. ; 26 cm
シリーズ名: Source books in the history of the sciences
所蔵情報: loading…
目次情報: 続きを見る
Foundations of Real Analysis / Part 1:
Cauchy's Partial Rigorization / A:
Cauchy on Limits and Continuity / 1a:
Cauchy on convergence / 1b:
Cauchy on the Radius of Convergence / 1c:
Cauchy on the Derivative as a Limit / 2:
Cauchy on Maclaurin's Theorem / 3:
Cauchy-Moigno on the Fundamental Theorem of the Calculus / 4:
Continuity and Integrability / B:
Bolzano on Continuity and Limits / 5:
Riemann on Fourier Series and the Riemann Integral / 6:
Heine Discusses Fourier Series / 7a:
Heine on the Foundations of Function Theory / 7b:
Stieltjes on the Stieltjes Integral / 8:
Foundations of Complex Analysis / Part 2:
Early Developments
Cauchy's Integral Theorem / 9:
Cauchy's Integral Formula / 10:
Cauchy's Calculus of Residues / 11:
Cauchy on Liouville's Theorem / 13a:
Jordan on Liouville's Theorem / 13b:
Riemann's Influence
Riemann on the Cauchy-Riemann Equations / 13:
Riemann on Riemann Surfaces / 14:
Schwarz on Conformal Mapping / 15:
Convergent Expansions / Part 3:
The Convergence of Power Series
Gauss on the Hypergeometric Series / 16:
Abel on the Binomial Series / 17:
The Influence of Weierstrass
Weierstrass on Analytic Functions of several Variables / 18:
Picard on Picard's Theorem / 19:
Weierstrass on Infinite Products / 20a:
Mittag-Leffier's Theorem / 20b:
Asymptotic Expansions / Part 4:
Analytic Number Theory
Riemann on the Riemann Zeta Function / 21:
Hadamard on the Distribution of Primes / 22:
Asymptotic Series
Stirling's Formula / 23:
Laplace on Generating Functions / 24:
Abel on the Laplace Transform / 25:
Poincare on Asymptotic Series / 26:
Lereh on Lerch's Theorem / 27:
Fourier Series and Integrals / Part 5:
Fourier Series
Fourier on Heat Flow in a Slab / 28:
Fourier on Expansions in Sine Series / 29a:
Fourier on Heat Flow in a Ring / 29b:
Dirichlet on the Convergence of Fourier Series / 30:
Wilbraham on the Gibbs Phenomenon / 31:
Fejre on the Convergence of Fourier Series / 32:
The Fourier Integral
Cauchy on the Fourier Integral / 33a-b:
Fourier on the Fourier Integral / 34:
Cauchy on Linear Partial Differential Equations with Constant Coefficients / 35:
Elliptic and Abelian Integrals / Part 6:
Legendre on Elliptic Integrals / 36:
Abel's Addition Theorem / 37:
Abel on Hyperelliptic Integrals / 38:
Riemann on Abelian Integrals / 39a:
Roch on the Riemann-Roch Theorem / 39b:
Elliptic and Automorphic Functions / Part 7:
Elliptic and Hyperelliptic Functions
Abel on Elliptic Functions / 40:
Jacobi on Elliptic Functions / 41:
Jacobi on Some Identities / 42:
Jacobi on the Jacobi Theta Functions / 43:
Weierstrass's Al Functions / 44:
Automorphic Functions
Poincare on Automorphic Functions / 45:
Klein on Fundamental Regions of Discontinuous Groups / 46:
Ordinary Differential Equations. I. / Part 8:
Existence and Uniqueness Theorems
Cauchy on the Cauchy Polygon Method / 47:
Lipschitz on the Lipschitz Condition / 48:
Picard on the Picard Method / 49:
Osgood's Existence Theorem / 50:
Sturm-Liouville Theory
Storm on Sturm's Theorems / 51:
Liouville on Sturm-Liouville Expansions. I. / 52:
Liouville on Sturm-Liouville Expansions. II. / 53:
Ordinary Differential Equations. II. / Part 9:
Regular Singular Points
Fuchs on Isolated Singular Points / 54:
Frobenius on Regular Singula / 55:
Foundations of Real Analysis / Part 1:
Cauchy's Partial Rigorization / A:
Cauchy on Limits and Continuity / 1a:
38.

図書

図書
edited by A. Kino, J. Myhill and R.E. Vesley
出版情報: Amsterdam : North-Holland Pub. Co., 1970  viii, 516 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
39.

図書

図書
ed. by J. E. Fenstad
出版情報: Amsterdam : North-Holland Pub. Co., 1971  405 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 63
所蔵情報: loading…
40.

図書

図書
M.C. Fitting
出版情報: Amsterdam : North-Holland Pub. Co., 1969  191 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
41.

図書

図書
Ed. by R.O. Gandy and C.M.E. [sic] Yates
出版情報: Amsterdam : North-Holland, 1971  xiv, 451 p ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 61
所蔵情報: loading…
42.

図書

図書
edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
出版情報: Amsterdam ; London : North-Holland, 1970  xii, 405 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
43.

図書

図書
ed. by Yehoshua Bar-Hillel
出版情報: Amsterdam : North-Holland Pub. Co., 1970  145 p. ; 24 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
44.

図書

図書
[By] H. Jerome Keisler
出版情報: Amsterdam : North-Holland Pub. Co., 1971  x, 208 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 62
所蔵情報: loading…
45.

図書

図書
[By] Leon Henkin, J. Donald Monk [and] Alfred Tarski
出版情報: Amsterdam : North-Holland Pub. Co., 1971-1985  2 v. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 64, 115
所蔵情報: loading…
目次情報:
General Theory of Algebras
Elementary Properties of Cylindric Algebras
General Algebraic Notions Applied to Cylindric Algebras
General Theory of Algebras
Elementary Properties of Cylindric Algebras
General Algebraic Notions Applied to Cylindric Algebras
46.

図書

図書
by J.L. Bell and M. Machover
出版情報: Amsterdam ; Tokyo : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977  xviii, 599 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Beginning Mathematical Logic / 1:
First-Order Logic / 2:
First-Order Logic (continued) / 3:
Boolean Algebras / 4:
Model Theory / 5:
Recursion Theory / 6:
Logic - Limitative Results / 7:
Recursion Theory (continued) / 8:
Intuitionistic First-Order Logic / 9:
Axiomatic Set Theory / 10:
Nonstandard Analysis / 11:
Bibliography
Beginning Mathematical Logic / 1:
First-Order Logic / 2:
First-Order Logic (continued) / 3:
47.

図書

図書
F. Maeda, S. Maeda
出版情報: Berlin : Springer-Verlag, 1970  xi, 189 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 173
所蔵情報: loading…
48.

図書

図書
K. Kuratowski ; translated from French by J. Jaworowski
出版情報: New York : Academic Press, 1966-1968  2 v. ; 24 cm
所蔵情報: loading…
49.

図書

図書
herausgegeben von E. Knobloch, I.S. Louhivaara, J. Winkler
出版情報: Basel : Birkhäuser, 1984  xi, 238 p. ; 24 cm
所蔵情報: loading…
50.

図書

図書
edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1977  xi, 1165 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 90
所蔵情報: loading…
目次情報: 続きを見る
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
Proof Theory and Constructive Mathematics / H. Barendregt ; S. Feferman ; M.P. Fourman ; L. Harrington ; J. Paris ; H. Schwichtenberg ; C. Smorynski ; R. Statman ; A.S. Troelstra
Indices
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼