close
1.

図書
図書
1. Handbook of mathematical logic (: pbk)
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
2.

図書
図書
2. Symbolic logic and mechanical theorem proving
Chin-Liang Chang, Richard Char-Tung Lee
出版情報: New York : Academic Press, c1973  xiii, 331 p. ; 24 cm
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
3.

図書
図書
3. Introduction to mathematical logic : set theory, computable functions, model theory (: us ; : gw ; : pbk.)
Jerome Malitz
出版情報: New York ; Tokyo : Springer-Verlag, c1979  xii, 198 p. ; 25 cm
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
4.

図書
図書
4. Stabilité structurelle et morphogénèse : essai d'une théorie générale des modèles
René Thom
出版情報: Reading, Mass. : W.A. Benjamin, 1972  362 p. ; 24 cm
シリーズ名: The mathematical physics monograph series / A.S. Wightman, editor
所蔵情報: loading…
目次情報: 続きを見る
Developing Perspective / Part I：
Our Place in the Universe / 1：
Our Modern View of the Universe / 1.1：
The Scale of the Universe / 1.2：
Spaceship Earth / 1.3：
Discovering the Universe for Yourself / 2：
Patterns in the Night Sky / 2.1：
The Reason for Seasons / 2.2：
The Moon, Our Constant Companion / 2.3：
The Ancient Mystery of the Planets / 2.4：
The Science of Astronomy / 3：
The Ancient Roots of Science / 3.1：
Ancient Greek Science / 3.2：
The Copernican Revolution / 3.3：
The Nature of Science / 3.4：
Astrology S1 Celestial Timekeeping and Navigation / 3.5：
Astronomical Time Periods / S1.1：
Celestial Coordinates and Motion in the Sky / S1.2：
Principles of Celestial Navigation / S1.3：
Key Concepts for Astronomy / Part II：
Making Sense of the Universe: Understanding Motion, Energy, and Gravity / 4：
Describing Motion: Examples from Daily Life / 4.1：
Newton's Laws of Motion / 4.2：
Conservation Laws in Astronomy / 4.3：
The Universal Law of Gravitation / 4.4：
Orbits, Tides, and the Acceleration of Gravity / 4.5：
Light and Matter: Reading Messages from the Cosmos / 5：
Light in Everyday Life / 5.1：
Properties of Light / 5.2：
Properties of Matter / 5.3：
Learning from Light / 5.4：
The Doppler Shift / 5.5：
Telescopes: Portals of Discovery / 6：
Eyes and Cameras: Everyday Light Sensors / 6.1：
Telescopes: Giant Eyes / 6.2：
Telescopes and the Atmosphere / 6.3：
Telescopes And Technology / 6.4：
P / Part III：
Developing Perspective / Part I：
Our Place in the Universe / 1：
Our Modern View of the Universe / 1.1：
5.

図書
図書
5. Selected works, Jan Lukasiewicz
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…
6.

図書
図書
6. Topoi : the categorial analysis of logic
Robert Goldblatt
出版情報: Amsterdam ; New York : North-Holland Pub. Co , New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979  xv, 486 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 98
所蔵情報: loading…
7.

図書
図書
7. Frontiers of pattern recognition : the proceedings of the International Conference on Frontiers of Pattern Recognition
edited by Satosi Watanabe
出版情報: New York ; London : Academic Press, 1972  xi, 602 p. ; 24 cm
所蔵情報: loading…
8.

図書
図書
8. Model theory
C.C. Chang and H.J. Keisler
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1973  xii, 550 p. ; 22 cm
シリーズ名: Studies in logic and the foundations of mathematics ; 73
所蔵情報: loading…
9.

図書
図書
9. Introduction to axiomatic set theory (: soft cover)
G. Takeuti, W.M. Zaring
出版情報: New York : Springer-Verlag, c1971  vii, 250 p. ; 25 cm
シリーズ名: Graduate texts in mathematics ; 1
所蔵情報: loading…
10.

図書
図書
10. Early work (1905-1911) (: ne ; : us)
edited by J. Rud Nielsen
出版情報: Amsterdam ; Tokyo : North-Holland , New York : Sole distributors for the U.S.A. and Canada, American Elsevier, 1972  xlviii, 608 p. ; 27 cm
シリーズ名: Collected works / Niels Bohr ; general editor, L. Rosenfeld ; v. 1
所蔵情報: loading…
目次情報: 続きを見る
General introduction
Foreword
Abbreviated titles of periodicals
Niels Bohr: Biographical sketch
Surface tension of water / Part I：
Electron theory of metals / Part II：
Selected family correspondence 1909-1916 / Part III：
Inventory of manuscripts in the Niels Bohr archive
Index
``His Collected Works will stand as one of the very greatest documents in the history of science and of human thought.'' (Physics Bulletin)
General introduction
Foreword
Abbreviated titles of periodicals
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼