close
1.

図書
図書
1. The theory of functions of a real variable and the theory of Fourier's series (v. 1 ; v. 2)
by E.W. Hobson
出版情報: New York : Dover Publications, 1957  2 v. ; 22 cm
所蔵情報: loading…
2.

図書
図書
2. Словарь русского языка : в четырех томах (т. 1 - т. 4)
[редакционная коллегия, М.П. Алексеев ... и др.]
出版情報: Москва : Гос. изд-во иностранных и национальных словарей, 1957-1961  4 v. ; 27 cm
所蔵情報: loading…
3.

図書
図書
3. An introduction to probability theory and its applications. 2nd ed (v. 1 ; v. 2)
William Feller
出版情報: New York : Wiley, c1957-c1971  2 v. ; 24 cm
シリーズ名: Wiley series in probability and mathematical statistics ; . Probability and mathematical statistics
所蔵情報: loading…
4.

図書
図書
4. Proceedings of the Second Nuclear Engineering and Science Congress, held at Philadelphia, under the general chairmanship of Walter G. Whitman (pt. 1 ; pt. 2)
Nuclear Engineering and Science Congress ; Dunning, John R. (John Ray), 1907- ; Prentice, Bruce R.
出版情報: New York : Published for the American Society of Mechanical Engineers by the Symposium Publications Division, Pergamon Press, 1957  2 v. ; 29 cm
シリーズ名: Advances in nuclear engineering / co-ordinating editors, John R. Dunning and Bruce R. Prentice ; v. 1-2
所蔵情報: loading…
5.

図書
図書
5. Larousse de la musique (t. 1 ; t. 2)
ouvrage en 2 volumes publié sous la direction de Norbert Dufourcq ; avec la collaboration de Félix Raugel, Armand Machabey
出版情報: Paris : Larousse, c1957  2 v. ; 27 cm
所蔵情報: loading…
6.

図書
図書
6. Staatslexikon : Recht, Wirtschaft, Gesellschaft. 6., völlig neu bearbeitete und erw. Aufl (1. Bd. - 11. Bd.)
herausgegeben von der Görres-Gesellschaft
出版情報: Freiburg [im Breisgau] : Herder, 1957-1970  11 v. ; 27 cm
所蔵情報: loading…
7.

図書
図書
7. Transactions of the Society of Rheology (1 - 14, pt. 4)
editor, Bryce Maxwell ; assistant editor, R. D. Andrews
出版情報: New York : Interscience Publishers, 1957-1970  v. ; 24 cm
所蔵情報: loading…
8.

図書
図書
8. Kernreaktionen = Nuclear reactions (1 ; 2 ; 3)
出版情報: Berlin : Springer, 1957-1959  3 v. ; 26 cm
シリーズ名: Handbuch der Physik / herausgegeben von S. Flügge = Encyclopedia of physics / editor in chief, S. Flügge ; Bd. 40, 41-1, 42
所蔵情報: loading…
9.

図書
図書
9. Topologische Gruppen (T. 1 ; T. 2)
von L.S. Pontrjagin
出版情報: Leipzig : B.G. Teubner, 1957-1958  2 v. ; 22 cm
所蔵情報: loading…
10.

図書
図書
10. Aircraft hydraulics (1 ; 2)
edited by H.G. Conway
出版情報: London : Chapman & Hall, 1957  2 v. ; 25 cm
シリーズ名: The Royal Aeronautical Society. A series of Textbook ; vol. 1-2
所蔵情報: loading…
目次情報:
vol. 1. Hydraulic Systems
vol. 2. Component Design
vol. 1. Hydraulic Systems
vol. 2. Component Design
11.

図書
図書
11. Photoelasticity (v. 1 ; v. 2)
Max Mark Frocht
出版情報: New York : Wiley , London : Chapman, 1957  2 v. ; (8vo)
所蔵情報: loading…
12.

図書
図書
12. Travaux du IVe Congrès international du verre, Paris - 2 au 7 juillet 1956
International Congress on Glass
出版情報: [Paris] : [s.n.], 1957  500 p. ; 27 cm
所蔵情報: loading…
13.

図書
図書
13. Фрегат "Паллада" : очерки путешествия в двух томах (т. 1 ; т. 2)
И.А. Гончаров
出版情報: Москва : Гос. изд-во худож. лит-ры, 1957  2 v. ; 21 cm
所蔵情報: loading…
14.

図書
図書
14. История естествознания в России (t. 1, ч. 1 - t. 3)
под редакцией Н.А. Фигуровского (главный редактор), В.П. Зубова, С.Р. Микулинского
出版情報: Москва : Изд-во Академии наук СССР, 1957-  v. ; 27 cm
所蔵情報: loading…
15.

雑誌
雑誌
15. 火山. 第2集
日本火山学会
出版情報: 東京 : 日本火山学会, 1957-1990
巻次年月次: 1巻1号 (昭32.1)-35巻4号 (1990.12)
所蔵情報: loading…
16.

図書
図書
16. Un demi-siècle (1907-1956) de notes communiquées aux académies : de Paris, d'Amsterdam, des Lincei suivies par des observations et commentaires : reproduites avec le concours du Centre national de la recherche scientifique (1 ; 2)
Arnaud Denjoy
出版情報: Paris : Gauthier-Villars, 1957  2 v ; 25 cm
所蔵情報: loading…
目次情報:
1. La variable complexe
2. Le champ réel
1. La variable complexe
2. Le champ réel
17.

図書
図書
17. Engineering mechanics. 2nd ed (v. 1 ; v. 2)
Archie Higdon and William B. Stiles ; in collaboration with Arthur W. Davis and Herbert O. Ustrud
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, 1957  2 v. (xi, 583, xi p.) ; 24 cm
シリーズ名: Prentice-Hall civil engineering and engineering mechanics series
所蔵情報: loading…
目次情報:
v. 1. Statics
v. 2. Dynamics
v. 1. Statics
v. 2. Dynamics
18.

図書
図書
18. Harvard case histories in experimental science (v. 1 ; v. 2)
James Bryant Conant, general editor ; Leonard K. Nash, associate editor ; James Bryant Conant ... [et al.]
出版情報: Cambridge : Harvard University Press, c1957  2 v. (xvi, 639 p.) ; 24 cm
所蔵情報: loading…
19.

図書
図書
19. Œuvres (t. 1 ; t. 2)
Paul Valéry ; édition établie et annotée par Jean Hytier
出版情報: [Paris] : Gallimard, c1957-c1960  2 v. ; 18 cm
シリーズ名: Bibliothèque de la Pléiade ; 127, 148
所蔵情報: loading…
20.

図書
図書
20. Spektroskopie = Spectroscopy (1 ; 2)
Flügge, Siegfried
出版情報: Berlin : Springer-Verlag, 1957-1964  2 v. ; 26 cm
シリーズ名: Handbuch der Physik / herausgegeben von S. Flügge = Encyclopedia of physics / editor in chief, S. Flügge ; Bd. 27-28
所蔵情報: loading…
21.

図書
図書
21. Cours d'analyse infinitésimale. 9e éd., rev. et augm. / avec la collaboration de Fernand Simonart (t. 2)
par Ch.-J. de La Vallée Poussin
出版情報: Paris : Gauthier-Villars, 1957  viii, 552 p. ; 25 cm
所蔵情報: loading…
22.

図書
図書
22. Théorie des distributions (Tome 1 ; Tome 2)
Laurent Schwartz
出版情報: Paris : Hermann, c1957  162 p. ; 24 cm
シリーズ名: Publications de l'Institut de Mathématique de l'Université de Strasbourg ; 6
Actualités scientifiques et industrielles ; 1245
所蔵情報: loading…
23.

図書
図書
23. Introduction to logic (: hard ; : International student ed)
by Patrick Suppes
出版情報: Princeton, N.J. : D. Van Nostrand, c1957  xviii, 312 p. ; 24 cm
シリーズ名: The university series in undergraduate mathematics
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Principles of Inference and Definition / Part I：
The Sentential Connectives / Chapter 1.：
Negation and Conjunction / 1.1：
Disjunction / 1.2：
Implication: Conditional Sentences / 1.3：
Equivalence: Biconditional Sentences / 1.4：
Grouping and Parentheses / 1.5：
Truth Tables and Tautologies / 1.6：
Tautological Implication and Equivalence / 1.7：
Sentential Theory of Inference / Chapter 2.：
Two Major Criteria of Inference and Sentential Interpretations / 2.1：
The Three Sentential Rules of Derivation / 2.2：
Some Useful Tautological Implications / 2.3：
Consistency of Premises and Indirect Proofs / 2.4：
Symbolizing Everyday Language / Chapter 3.：
Grammar and Logic / 3.1：
Terms / 3.2：
Predicates / 3.3：
Quantifiers / 3.4：
Bound and Free Variables / 3.5：
A Final Example / 3.6：
General Theory of Inference / Chapter 4.：
Inference Involving Only Universal Quantifiers / 4.1：
Interpretations and Validity / 4.2：
Restricted Inferences with Existential Quantifiers / 4.3：
Interchange of Quantifiers / 4.4：
General Inferences / 4.5：
Summary of Rules of Inference / 4.6：
Further Rules of Inference / Chapter 5.：
Logic of Identity / 5.1：
Theorems of Logic / 5.2：
Derived Rules of Inference / 5.3：
Postscript on Use and Mention / Chapter 6.：
Names and Things Named / 6.1：
Problems of Sentential Variables / 6.2：
Juxtaposition of Names / 6.3：
Transition From Formal to Informal Proofs / Chapter 7.：
General Considerations / 7.1：
Basic Number Axioms / 7.2：
Comparative Examples of Formal Derivations and Informal Proofs / 7.3：
Examples of Fallacious Informal Proofs / 7.4：
Further Examples of Informal Proofs / 7.5：
Theory of Definition / Chapter 8.：
Traditional Ideas / 8.1：
Criteria for Proper Definitions / 8.2：
Rules for Proper Definitions / 8.3：
Definitions Which are Identities / 8.4：
The Problem of Division by Zero / 8.5：
Conditional Definitions / 8.6：
Five Approaches to Division by Zero / 8.7：
Padoa's Principle and Independence of Primitive Symbols / 8.8：
Elementary Intuitive Set Theory / Part II：
Sets / Chapter 9.：
Membership / 9.1：
Inclusion / 9.3：
The Empty Set / 9.4：
Operations on Sets / 9.5：
Domains of Individuals / 9.6：
Translating Everyday Language / 9.7：
Venn Diagrams / 9.8：
Elementary Principles About Operations on Sets / 9.9：
Relations / Chapter 10.：
Ordered Couples / 10.1：
Definition of Relations / 10.2：
Properties of Binary Relations / 10.3：
Equivalence Relations / 10.4：
Ordering Relations / 10.5：
Operations on Relations / 10.6：
Functions / Chapter 11.：
Definition / 11.1：
Operations on Functions / 11.2：
Church's Lambda Notation / 11.3：
Set-Theoretical Foundations of the Axiomatic Method / Chapter 12.：
Set-Theoretical Predicates and Axiomatizations of Theories / 12.1：
Isomorphism of Models for a Theory / 12.3：
Example: Probability / 12.4：
Example: Mechanics / 12.5：
Index
Preface
Introduction
Principles of Inference and Definition / Part I：
24.

図書
図書
24. Methods for emission spectrochemical analysis : general practices, nomenclature, standard methods, proposed methods, suggested methods
sponsored by ASTM Committee E-2 on Emission Spectroscopy
出版情報: Philadelphia, Pa. : ASTM, 1957  xiv, 490 p. ; 24 cm
所蔵情報: loading…
25.

図書
図書
25. A history of world civilization (v. 1 ; v. 2)
Max Savelle, general editor
出版情報: New York : Henry Holt, c1957  2 v. ; 26 cm
所蔵情報: loading…
26.

図書
図書
26. Организация государственной промышленности в СССР (т. 1. 1917-1920 ; т. 2. 1921-1934)
А.В. Венедиктов
出版情報: Ленинград : Изд-во Лениградского Университета, 1957-1961  2 v. ; 23 cm
所蔵情報: loading…
27.

図書
図書
27. Projektive Geometrie (T. 1 ; T. 2)
von Günter Grosche
出版情報: Leipzig : Teubner, 1957  2 v. ; 20 cm
シリーズ名: Mathematisch-naturwissenschaftliche Bibliothek ; 7, 8
所蔵情報: loading…
28.

図書
図書
28. 脂肪族化合物 (1 - 5)
中川正澄 [ほか] 執筆
出版情報: 東京 : 朝倉書店, 1957-1959  5冊 ; 22cm
シリーズ名: 大有機化学 / 井本稔 [ほか] 編 ; 2-5
所蔵情報: loading…
29.

図書
図書
29. 物性物理の基礎 (1 ; 2)
武藤俊之助 [ほか] 執筆
出版情報: 東京 : 共立出版, 1957.11-1957.12  2冊 ; 22cm
シリーズ名: 物性物理学講座 / 武藤俊之助 [ほか] 編 ; 1-2
所蔵情報: loading…
目次情報:
1: 物性論概説 / 武藤俊之助
統計力学序論 / 橋爪夏樹
量子力学序論 / 有山兼孝
1: 物性論概説 / 武藤俊之助
統計力学序論 / 橋爪夏樹
量子力学序論 / 有山兼孝
30.

図書
図書
30. 連続群論 (上 ; 下)
ポントリャーギン [著] ; 柴岡泰光, 杉浦光夫, 宮崎功共訳
出版情報: 東京 : 岩波書店, 1957.10-1958.5  2冊 ; 22cm
所蔵情報: loading…
31.

図書
図書
31. 化学実験操作法 (上巻 - 続編4)
緒方章著
出版情報: 東京 : 南江堂, 1957-1966  7冊 ; 27cm
所蔵情報: loading…
32.

図書
図書
32. 世界中世史研究 (第1卷第1分册 - 第2卷第2分册)
コスミンスキー著 ; 阿部玄治訳
出版情報: 東京 : 未来社, 1957.4-1961.1  5冊 ; 22cm
所蔵情報: loading…
33.

図書
図書
33. 半導体物理学 (上 ; 下)
ショックレイ著 ; 川村肇訳
出版情報: 京都 : 吉岡書店, 1957.6-1958.2  2冊 ; 22cm
シリーズ名: 物理学叢書 / 小谷正雄 [ほか] 編 ; 4, 8
所蔵情報: loading…
34.

図書
図書
34. 電気四学会連合大会講演論文集 (昭和32年 1 - 昭和59年)
電気四学会連合大会委員会 ; 電気学会 ; 電気通信学会 ; 照明学会 ; テレビジョン学会
出版情報: 東京 : 電気四学会連合大会委員会, 1957-  冊 ; 26cm
所蔵情報: loading…
35.

図書
図書
35. 級数および直交関数系
末岡清市著
出版情報: 東京 : コロナ社, 1957.11  2, 3, 259p ; 22cm
シリーズ名: 応用数学講座 ; 3
所蔵情報: loading…
36.

図書
図書
36. チェボタリオフの土質工学 (上巻 ; 下巻)
G.P. チェボタリオフ[著] ; 石井靖丸訳
出版情報: 東京 : 技報堂, 1957  2冊 ; 22cm
所蔵情報: loading…
37.

図書
図書
37. 現代統計学. 修正版 (上巻 ; 下巻)
河田龍夫, 国沢清典著
出版情報: 東京 : 廣川書店, 1957.3-1957.6  2冊 ; 22cm
所蔵情報: loading…
38.

図書
図書
38. Leonhardi Euleri Commentationes mechanicae : ad theoriam motus punctorum pertinentes (v. prius ; v. posterius)
edidit Charles Blanc
出版情報: Lausannae : Auctoritate et impensis Societatis Scientiarum Naturalium Helveticae , Turici : Venditioni exponunt O. Füssli, 1957-1958  2 v. ; 29 cm
シリーズ名: Leonhardi Euleri Opera omnia / sub auspiciis Societatis Scientiarum Naturalium Helveticae ; edenda curaverunt, Ferdinand Rudio, Adolf Krazer, Paul Stäckel ; ser. 2 . Opera mechanica et astronomica ; v. 6-7
所蔵情報: loading…
39.

図書
図書
39. Trace analysis : papers presented at a Symposium on Trace Analysis held at the New York Academy of Medicine, New York, N.Y., November 2, 3, 4, 1955
edited by John H. Yoe and Henry J. Koch, Jr
出版情報: New York : Wiley , London : Chapman & Hall, c1957  xiii, 672 p. ; 24 cm
所蔵情報: loading…
40.

図書
図書
40. Electronic components handbook ([1] ; v. 2 ; v. 3)
editors, Keith Henney and Craig Walsh
出版情報: New York : McGraw-Hill, c1957-c1959  3 v. ; 29 cm
所蔵情報: loading…
41.

図書
図書
41. 要説鉄冶金. 改訂版
安部英夫著
出版情報: 東京 : 丸善, 1957.2  255p ; 21cm
所蔵情報: loading…
42.

図書
図書
42. Beton-Kalender 1957 : Taschenbuch für Beton-, Stahlbeton- und Spannbetonbau sowie dir verwandten Fächer (T. 2)
Schriftleitung, Georg Ehlers
出版情報: Berlin : W. Ernst, 1957  viii, 457 p. ; 15 cm
所蔵情報: loading…
43.

図書
図書
43. Polar atomosphere symposium : Ionopheric Section (pt. 2)
editor, K. Weekes
出版情報: London : Pergamon, 1957  xiii, 212 p. ; 26 cm
シリーズ名: AGARDograph series / North Atlantic Treaty Organization. Advisory Group for Aeronautical Research and Development ; no. 29
所蔵情報: loading…
44.

図書
図書
44. Vorkommen, Element, Legierungen
Mitarbeiter dieses Teiles, Matthias Atterer ... [et al.]
出版情報: Weinheim : Verlag Chemie, 1957  xii, 69-488 p. ; 25 cm
シリーズ名: Gmelins Handbuch der anorganischen Chemie / herausgegeben von der Deutschen Chemischen Gesellschaft ; System-Nr. 28 . Calcium ; T. A, Lfg. 2
所蔵情報: loading…
45.

図書
図書
45. Fortschritte der angewandten Radioisotopie und Grenzgebiete (Bd. 1 ; Bd. 2)
herausgegeben von E.H. Graul ; mit Arbeiten von A. Montens ... [et al.]
出版情報: Heidelberg : A. Hüthig, c1957  v. ; 24 cm
所蔵情報: loading…
46.

図書
図書
46. Lectures on economic principles (v. 1 ; v. 2 ; v. 3)
Sir Dennis H. Robertson
出版情報: London : Staples Press, 1957-1959  3 v. ; 21 cm
所蔵情報: loading…
47.

図書
図書
47. The principles of semantics. 2nd ed
by Stephen Ullmann
出版情報: Glasgow : Jackson, Son , Oxford : Blackwell, 1957  346 p. ; 23 cm
シリーズ名: Glasgow University publications ; 84
所蔵情報: loading…
48.

図書
図書
48. Ronchamp
Le Corbusier
出版情報: Stuttgart : Verlag Gerd Hatje, c1957  135 p. ; 21 cm
所蔵情報: loading…
49.

図書
図書
49. Nuclear power reactors
edited by James K. Pickard
出版情報: Princeton, N,J, : D.Van Nostrand, c1957  xii, 388 p. ; 24 cm
シリーズ名: The Geneva series on the peaceful uses of atomic energy
所蔵情報: loading…
50.

図書
図書
50. Free radicals in solution
Cheves Walling
出版情報: New York : Wiley , London : Chapman & Hall, c1957  xii, 631 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼