close
1.

図書
図書
1. Zement-Wörterbuch : Herstellung und Technologie : Deutsch-Englisch, Englisch-Deutsch = Dictionary of cement : manufacture and technology : German-English, English-German. 2., überarbeitete und erw. Aufl
Carel van Amerongen
出版情報: Wiesbaden : Bauverlag, 1986, c1967  328 p. ; 21 cm
所蔵情報: loading…
2.

図書
図書
2. Dictionary of aerospace engineering in three languages Russian, English, German
compiled by Mikhail Grigorʹyevich Kotik
出版情報: Amsterdam ; New York : Elsevier , New York, NY : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1986  879 p. ; 25 cm
所蔵情報: loading…
3.

図書
図書
3. Dictionary of radiation protection, radiobiology, and nuclear medicine in four languages : English, German, French, Russian (est.)
compiled by Ralf Sube
出版情報: Amsterdam ; New York : Elsevier , New York, N.Y. : Distributors for the United States and Canada : Elsevier Science Pub. Co., 1986, c1985  475 p. ; 25 cm
所蔵情報: loading…
4.

図書
図書
4. Elsevier's dictionary of opto-electronics and electro-optics
compiled by K. Nentwig
出版情報: Amsterdam ; New York : Elsevier, 1986  295 p. ; 25 cm
所蔵情報: loading…
5.

図書
図書
5. Elsevier's dictionary of word processing : in three languages, English, French, and German (est.)
compiled by Otto Vollnhals
出版情報: Amsterdam ; New York : Elsevier , New York, NY, U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1986  303 p. ; 25 cm
所蔵情報: loading…
6.

図書
図書
6. Dictionary of agriculture : in six languages, German, English, French, Spanish, Italian, Russian : systematical and alphabetical. 5th completely rev. and enl. ed. / collaborators for this edition, linguistic part, Louis Vaysse ... [et al.] ; technical part, W. Alsing ... [et al.]
by Günther Haensch and Gisela Haberkamp de Antón
出版情報: Amsterdam ; Tokyo : Elsevier, 1986  xxix, 1264 p. ; 23 cm
所蔵情報: loading…
7.

図書
図書
7. Dictionary of corrosion and corrosion control : English-German, German-English (est.)
editor in chief, Helmut Gross ; compiled by Wolfgang Borsdorf, Joachim Knepper
出版情報: Amsterdam ; New York : Elsevier , New York : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1986  356 p. ; 23 cm
所蔵情報: loading…
8.

図書
図書
8. From Paracelsus to Van Helmont : studies in Renaissance medicine and science
Walter Pagel ; edited by Marianne Winder
出版情報: London : Variorum Reprints, 1986  1 v. (various pagings) ; 23 cm
シリーズ名: Collected studies series ; CS235
所蔵情報: loading…
9.

図書
図書
9. "Astrologi hallucinati" : stars and the end of the world in Luther's time
edited by Paola Zambelli
出版情報: Berlin ; New York : W. de Gruyter, 1986  x, 293 p. ; 24 cm
所蔵情報: loading…
10.

図書
図書
10. Elsevier's dictionary of trees and shrubs : in Latin, English, French, German, Italian
compiled by Hugues Vaucher
出版情報: Amsterdam ; Tokyo : Elsevier, 1986  xiv, 413 p. ; 25 cm
所蔵情報: loading…
11.

雑誌
雑誌
11. Annales geophysicae. Series A, Upper atmosphere and space sciences
出版情報: [Montrouge Cedex] Gauthier-Villars, 1986-1987
巻次年月次: Vol. 4, no. 1 (Feb. 1986)-v. 5, no. 6 (Dec. 1987)
所蔵情報: loading…
12.

雑誌
雑誌
12. Annales geophysicae. Series B, Terrestrial and planetary physics
出版情報: [Montrouge Cedex] Gauthier-Villars, 1986-1987
巻次年月次: Vol. 4, no. 1 (Feb. 1986)-v. 5, no. 6 (Dec. 1987)
所蔵情報: loading…
13.

図書
図書
13. Beilstein's index : trivial names in systematic nomenclature of organic chemistry (U.S.)
Friedo Giese
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xiii, 253 p. ; 25 cm
所蔵情報: loading…
14.

図書
図書
14. Collected papers (: set : sz - v. 4. : us)
Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie, editors
出版情報: Basel ; Boston : Birkhäuser, 1986  4 v. ; 26 cm
シリーズ名: Contemporary mathematicians
所蔵情報: loading…
15.

図書
図書
15. Selected Research papers (set)
L.S. Pontryagin ; edited by R.V. Gamkrelidze
出版情報: New York ; Tokyo : Gordon and Breach Science Publishers, c1986  xx, 618 p. ; 24 cm
シリーズ名: Classics of Soviet mathematics ; . L.S. Pontryagin selected works / edited by R.V. Gamkrelidze ; v. 1
所蔵情報: loading…
16.

図書
図書
16. Collected works (v. 1 - v. 5)
Kurt Gödel ; edited by Solomon Feferman ... [et al.]
出版情報: New York ; Oxford ; Tokyo : Oxford University Press, 1986-2003  5 v. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
The Nachlass of Kurt G""odel: an overview / John W. Dawson, Jr.1：
G""odel's Gabelsberger shorthand / Cheryl A. Dawson2：
G""odel *1930c: Introductory note to *1930c / Warren Goldfarb3：
Lecture on completeness of the functional calculus / 4：
G""odel *1931?: Introductory note to *1931? / Stephen C. Kleene5：
On undecidable sentences / 6：
Godel *1933c: Introductory note to *1933c / Solomon Feferman7：
The present situation in the foundations of mathematics / 8：
Godel *1933?: Introductory note to *1933?, / 9：
Godel's life and work Solomon Feferman
A Godel chronology / John W. Dawson, Jr
Godel 1929: Introductory note to 1929, 1930 and 1930a / Burton Dreben ; Jean van Heijenoort
Uber die Vollstandigkeit des Logikkalkuls
On the completeness of the calculus of logic
Godel 1930: (See introductory note under Godel 1929.)
Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls
The completeness of the axioms of the functional calculus of logic
Godel 1930a: (See introductory note under Godel 1929.)
Godel 1930b: Introductory note to 1930b, 1931 and 1932b
Einige metamathematische Resultate uber Entscheidungs-definitheit und Widerspruchsfreiheit
Some metamathematical results on completeness and consistency
Godel 1931: (See introductory note under Godel 1930b.)
Uber formal unentscheidbare Satze der Principia mathematica und verwandter Systeme I
On formally undecidable propositions of Principia mathematica and related systems I
Godel 1931a: Introductory note to 1931a, 1932e, f and g
Diskussion zur Grundlegung der Mathematik
Discussion on providing a foundation for mathematics
Godel 1931b: Review of Neder 1931
Godel 1931c: Introductory note to 1931c Solomon Feferman
Review of Hilbert 1931
Godel 1931d: Review of Betsch 1926
Godel 1931e: Review of Becker 1930
Godel 1931f: Review of Hasse and Scholz 1928
Godel 1931g: Review of von Juhos 1930
Godel 1932: Introductory note to 1932 / A. S. Troelstra
Zum intuitionistischen aussagenkalkul
On the intuitionistic propositional calculus
Godel 1932a: Introductory note to 1932a, 1933i and l / Warren D. Goldfarb
Ein Spezialfall des Enscheidungsproblems der theoretischen Logik
A special case of the decision problem for theoretical logic
Godel 1932b: (See introductory note under Godel 1930b.)
Uber Vollstandigkeit und Widerspruchsfreiheit
On completeness and consistency
Godel 1932c: Introductory note to 1932c / W. V. Quine
Eine Eigenschaft der Realisierungen des Aussagenkalkuls
A property of the realizations of the propositional calculus
Godel 1932d: Review of Skolem 1931
Godel 1932e: (See introductory note under Godel 1931a.)
Review of Carnap 1931
Godel 1932f: (See introductory note under Godel 1931a.)
Review of Heyting 1931
Godel 1932g: (See introductory note under Godel 1931a.)
Review of von Neumann 1931
Godel 1932h: Review of Klein 1931
Godel 1932i: Review of Hoensbroech 1931
Godel 1932j: Review of Klein 1932
Godel 1932k: Introductory note to 1932k, 1934e and 1936b
Review of Church 1932
Godel 1932l: Review of Kalmar 1932
Godel 1932m: Review of Huntington 1932
Godel 1932n: Review of Skolem 1932
Godel 1932o: Review of Dingler 1931
Godel 1933: Introductory note to 1933
[[Uber die Parryschen Axiome]]
[[On Parry's axioms]]
Godel 1933a: Introductory note to 1933a
Uber Unabhangigkeitsbeweise im Aussagenkalkul
On independence proofs in the propositional calculus
Godel 1933b: Introductory note to 1933b, c, d, g and h / Judson Webb
Uber die metrische Einbettbarkeit der Quadrupel des R3 in Kugelflachen
On the isometric embeddability of quadruples of points of R3 in the surface of a sphere
Godel 1933c: (See introductory note under Godel 1933b.)
Uber die Waldsche Axiomatik des Zwichenbegriffes
On Wald's axiomization of the notion of betweenness
Godel 1933d: (See introductory note under Godel 1933b.)
Zur Axiomatik der elementargeometrischen Verknupfungs-relationen
On the axiomatization of the relations of connection in elementary geometry
Godel 1933e: Introductory note to 1933e
Zur institutionistischen Arithmetik und Zahlentheorie
On intuitionistic arithmetic and number theory
Godel 1933f: Introductory note to 1933f
Eine Interpretation des institutionistischen Aussagenkalkuls
An interpretation of the intuitionistic propositional calculus
Godel 1933g: (See introductory note under Godel 1933b.)
Bemerkung uber projektive Abbildungen
Remark concerning projective mappings
Godel 1933h: (See introductory note under Godel 1933b.)
Diskussion uber koordinatenlose Differentialgeometrie
Discussion concerning coordinate-free differential geometry
Godel 1933i: (See introductory note under Godel 1932a.)
Zum Enscheidungsproblem des logischen Funktionenkalkuls
On the decision probelm for the functional calculus of logic
Godel 1933j: Review of Kaczmarz 1932
Godel 1933k: Review of Lewis 1932
Godel 1933l: (See introductory note under Godel 1932a.)
Review of Kalmar 1933
Godel 1933m: Review of Hahn 1932
Godel 1934: Introductory note to 1934
On undecidable propositions of formal mathematical systems
Godel 1934a: Review of Skolem 1933
Godel 1934b: Introductory note to 1934b
Review of Quine 1933
Godel 1934c: Introductory note to 1934c and 1935 / Robert L. Vaught
Review of Skolem 1933a
Godel 1934d: Review of Chen 1933
Godel 1934e: (See introductory note under Godel 1932k.)
Review of Church 1933
Godel 1934f: Review of Notcutt 1934
Godel 1935: (See introductory note under Godel 1934c.)
Review of Skolem 1934
Godel 1935a: Introductory note to 1935a
Review of Huntington 1934
Godel 1935b: Review of Carnap 1934
Godel 1935c: Review of Kalmar 1934
Godel 1936: Introductory note to 1936
Diskussionsbemerkung
Discussion remark
Godel 1936a: Introductory note to 1936a / Rohit Parikh
Uber die Lange von Beweisen
On the length of proofs
Godel 1936b: (See introductory note under Godel 1932k.)
Review of Church 1935
Textual notes
References
Index
G÷del 1938: Introductory note to 1938, 1939, 1939a, and 1940 / Robert M. Solovay
The consistency of the axiom of choice and of the generalized continuum hypothesis
G÷del 1939: the consistency of the generalized continuum hypothesis
G÷del 1939a: Consistency proof for the generalized continuum hypothesis
G÷del 1940: the consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory
G÷del 1944: Introductory note to 1944 / Charles Parsons
Russell's mathematical logic
G÷del 1946: Introductory note to 1946
Remarks before the Princeton bicentennial conference on problems in mathematics
G÷del 1947: Introductory note to 1947 and 1964 / Gregory H. Moore
What is Cantor's continuum problem?
G÷del 1949: Introductory note to 1949 and 1952 / S.W. Hawking
An example of a new type of cosmological solutions of Einstein's field equations of gravitation
G÷del 1949a: Introductory note to 1949a / Howard Stein
A remark about the relationship between relativity theory and idealistic philosophy
G÷del 1952: Rotaoting universes in general relativity theory
G÷del 1958: Introductory note to 1958 and 1972 / A.S. Troelstra
_ber eine bisher noch nicht benntzte Erweiterung des finiten Standpunktes
On a hitherto unutilized extension of the finitary standpoint
G÷del 1962: postscript to Spector 1962
G÷del 1964: What is Cantor's continuum problem?
G÷del 1972: On an extension of finitary mathematics which has not yet been used
G÷del 1972a: Introductory note to 1972a by Solomon Feferman / Judson C. Webb
Some remarks on the undecidability results
G÷del 1974: Introductory note to 1974 / Jens Erik Fenstad
Remark on non-standard analysis
The Nachlass of Kurt G""odel: an overview / John W. Dawson, Jr.1：
G""odel's Gabelsberger shorthand / Cheryl A. Dawson2：
G""odel *1930c: Introductory note to *1930c / Warren Goldfarb3：
17.

図書
図書
17. Selecta (Vol. 1 : us - : set : sz)
Kurt Otto Friedrichs ; Cathleen S. Morawetz, editor
出版情報: Boston ; Basel : Birkhäuser, 1986  2 v. ; 26 cm
シリーズ名: Contemporary mathematicians
所蔵情報: loading…
18.

図書
図書
18. Glossary of planning and development : English-French-Italian-Dutch-German-Swedish
Gordon Logie
出版情報: Amsterdam ; Tokyo : Elsevier, 1986  xxv, 254 p. ; 24 cm
シリーズ名: International planning glossaries ; 5
所蔵情報: loading…
19.

図書
図書
19. Stabile Modulformen und Eisensteinreihen (: gw ; : us)
Rainer Weissauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  iii, 147 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1219
所蔵情報: loading…
20.

図書
図書
20. GWAI-85 : 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985 (: pbk)
edited by Herbert Stoyan
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  x, 471 p. ; 25 cm
シリーズ名: Informatik-Fachberichte ; 118
所蔵情報: loading…
21.

図書
図書
21. Selected papers (: set : us - v. 2 : gw)
Shizuo Kakutani ; Robert R. Kallman, editor
出版情報: Boston : Birkhäuser, 1986  2 v. ; 26 cm
シリーズ名: Contemporary mathematicians
所蔵情報: loading…
22.

図書
図書
22. Thin-walled metal structures in buildings : proceedings = Structures métalliques à parois minces dans les bâtiments = Dunnwandige Metall-Konstruktionen im Hochbau
IABSE Colloquium, Stockholm, 1986, in cooperation with the Swedish Group of IABSE, Swedish Institute of Steel Construction, European Convention for Constructional Steelwork
出版情報: Zürich, Switzerland : International Association for Bridge and Structural Engineering, [1986]  471 p. ; 24 cm
シリーズ名: IABSE reports = Rapports AIPC = IVBH Reports ; v. 49
所蔵情報: loading…
23.

図書
図書
23. GWAI-86 und 2.Österreichische Artificial-Intelligence-Tagung : Ottenstein/Niederösterreich, September 22-26, 1986 (: gw ; : us)
herausgegeben von Claus-Rainer Rollinger und Werner Horn
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  360 p. ; 24 cm
シリーズ名: Informatik-Fachberichte
所蔵情報: loading…
24.

図書
図書
24. The letters from Gerrit Jan Mulder to Justus Liebig (1838-1846)
edited and annotated by H.A.M. Snelders
出版情報: Amsterdam : Rodopi, 1986  105 p. ; 25 cm
シリーズ名: Janus ; Suppléments ; v. 9
所蔵情報: loading…
25.

図書
図書
25. Atom and individual in the age of Newton : on the genesis of the mechanistic world view. New ed
Gideon Freudenthal ; [translated by Peter McLaughlin from the German]
出版情報: Dordrecht ; Tokyo : D. Reidel , Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986  xv, 276 p. ; 23 cm
シリーズ名: Boston studies in the philosophy of science ; v. 88
所蔵情報: loading…
26.

図書
図書
26. Biographisches und Kernphysik : Autobiographisches, Laudationes, Buchbesprechungen, Kernphysik, Münchener Festrede u.a.
Heisenberg, Werner, 1901-1976
出版情報: München : Piper, c1986  x, 505 p. ; 25 cm
シリーズ名: Gesammelte Werke = Collected works / Werner Heisenberg ; edited by W. Blum, H.-P. Dürr, and H. Rechenberg ; Abt. C . Allgemeinverständliche Schriften = Philosophical and popular writings ; Bd. 4
所蔵情報: loading…
27.

図書
図書
27. Dictionary of robot technology in four languages : English, German, French, Russian (est.)
compiled by Erich Bürger in collaboration with Günter Korzak
出版情報: Amsterdam ; Tokyo : Elsevier , Berlin : VEB Verlag Technik, 1986  273 p. ; 25 cm
所蔵情報: loading…
28.

図書
図書
28. Dictionary of biotechnology : in English, Japanese, German (: U.S. ; : Germany)
Rolf Schmid, Saburo Fukui ; with a foreword by Heinz Riesenhuber
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  1324 p. ; 25 cm
所蔵情報: loading…
29.

図書
図書
29. Collected mathematical papers (: set : us - v. 2 : gw)
Jakob Nielsen ; edited for the Danish Mathematical Society by Vagn Lundsgaard Hansen
出版情報: Boston ; Basel : Birkhäuser, 1986  2 v. ; 27 cm
シリーズ名: Contemporary mathematicians
所蔵情報: loading…
30.

図書
図書
30. Hermann Weyl, 1885-1985 : centenary lectures (: gw ; : us)
delivered by C.N. Yang, R. Penrose, A. Borel at the ETH Zürich ; edited by K. Chandrasekharan
出版情報: Berlin ; Tokyo : Published for the Eidgenössische Technische Hochschule Zürich [by] Springer-Verlag, c1986  119 p. ; 24 cm
所蔵情報: loading…
31.

図書
図書
31. Diamagnetische Suszeptibilität (: gw ; : us)
R.R. Gupta ; Hrsg., K.-H. Hellwege und A. M. Hellwege
出版情報: Berlin ; Tokyo : Springer, c1986  vii, 457 p. ; 28 cm
シリーズ名: Landolt-Börnstein Zahlenwerte und Funktionen aus Naturwissenschaften und Technik, Neue Serie / Gesamtherausgabe, K.-H. Hellwege ; Gruppe 2 . Atom- und Molekularphysik ; Bd. 16
所蔵情報: loading…
目次情報: 続きを見る
Title Page
Preface
Introduction / 1：
General remarks / 1.1：
Theoretical calculation methods / 1.2：
References for 1.1 and 1.2 / 1.3：
Arrangement of the tables / 1.4：
Units and conversion factors / 1.5：
List of symbols / 1.6：
Diamagnetic bulk susceptibility of organic compounds / 2：
Data / 2.1：
Aliphatic compounds / 2.1.1：
Aromatic compounds / 2.1.2：
Heterocyclic compounds / 2.1.3：
Amino acids / 2.1.4：
Carbohydrates and related compounds / 2.1.5：
Steroids / 2.1.6：
Terpenes and related compounds / 2.1.7：
Charge transfer complexes and picrates / 2.1.8：
Oils / 2.1.9：
Paraffins / 2.1.10：
Polyethylenes / 2.1.11：
Index of substances to 2.1 / 2.2：
References for 2.1 / 2.3：
Diamagnetic bulk susceptibility of inorganic and organometallic compounds / 3：
Diamagnetic bulk susceptibility of mixtures / 4：
Diamagnetic susceptibility of the methylene group in various compounds / 5：
Diamagnetic susceptibility contributions of carbonyl ion, amino ion, nitro ion, and silicon ion / 6：
Diamagnetic susceptibility of diamagnetic and paramagnetic ions / 7：
Diamagnetic anisotropy of organic crystals and molecules / 8：
Diamagnetic anisotropy of inorganic and organometallic crystals und molecules / 9：
Title Page
Preface
Introduction / 1：
32.

図書
図書
32. Geruchsstoffe : Quellen, Ausbreitung, Wirkungen, Olfaktometrie, technische und administrative Massnahmen = Odorants : sources, dispersion, effects, olfactometry, technical and administrative measures : Kolloquium, Baden-Baden, 2. bis 4. Oktober 1985
VDI-Kommission Reinhaltung der Luft
出版情報: Düsseldorf : VDI Verlag, c1986  525 p. ; 23 cm
シリーズ名: VDI-Berichte ; 561
所蔵情報: loading…
33.

図書
図書
33. 100 Jahre Motorrad : Tagung München, 10. und 11. Oktober 1985
VDI-Gesellschaft Fahrzeugtechnik
出版情報: Düsseldorf : VDI Verlag, c1986  243 p. ; 23 cm
シリーズ名: VDI-Berichte ; 577
所蔵情報: loading…
34.

図書
図書
34. Härteprüfung in Theorie und Praxis : 7. internationales Symposium Fellbach, 10. und 11. März 1986 = Hardness testing in theory and practice : 7th international symposium, 10th and 11th March 1986, Fellbach, FRG
VDI/VDE-Gesellschaft Mess- und Regelungstechnik
出版情報: Düsseldorf : VDI Verlag, c1986  560 p. ; 23 cm
シリーズ名: VDI-Berichte ; 583
所蔵情報: loading…
35.

図書
図書
35. Wirbelschichtfeuerung : Bilanz, Konzepte, Perspektiven = Fluidized bed combustion (FBC) : assesment, concepts, perspectives, Tagung Essen, 3. bis 5. Juni 1986
VDI-Gesellschaft Energietechnik
出版情報: Düsseldorf : VDI Verlag, c1986  518 p. ; 23 cm
シリーズ名: VDI-Berichte ; 601
所蔵情報: loading…
36.

図書
図書
36. Rechnerintegrierte Konstruktion und Produktion 1986 : Entwicklungsstand und Einsatzbeispiele verfügbarer CIM-Bausteine : Internationaler CIM-Kongreß zur Systec '86, München 29. und 30. Oktober 1986
VDI-Gesellschaft Produktiontechnik (ADB)
出版情報: Düsseldorf : Verlag des Vereins Deutscher Ingenieure, c1986  378 p. ; 23 cm
シリーズ名: VDI-Berichte ; 611
所蔵情報: loading…
37.

雑誌
雑誌
37. International journal of materials & product technology
Unesco
出版情報: Geneva, Switzerland : Inderscience Enterprises, [1986]-
巻次年月次: Vol. 1, no. 1 (July 1986)-
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼