close
1.

図書

図書
ed. by H. G. Hertz and A. Seeger
出版情報: München : R. Oldenbourg Verlag, 1986  119 p. ; 24 cm
シリーズ名: Zeitschrift für physikalische Chemie = International journal of research in physical chemistry and chemical physics ; supplement issue no.2
所蔵情報: loading…
2.

図書

図書
Hans Wisskirchen
出版情報: Bern : Francke Verlag, c1986  248 p. ; 24 cm
シリーズ名: Thomas-Mann-Studien / herausgegeben vom Thomas-Mann-Archiv der Eidgenössischen Technischen Hochschule in Zürich ; Bd. 6
所蔵情報: loading…
3.

図書

図書
Carel van Amerongen
出版情報: Wiesbaden : Bauverlag, 1986, c1967  328 p. ; 21 cm
所蔵情報: loading…
4.

図書

図書
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…
5.

図書

図書
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…
6.

図書

図書
compiled by K. Nentwig
出版情報: Amsterdam ; New York : Elsevier, 1986  295 p. ; 25 cm
所蔵情報: loading…
7.

図書

図書
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…
8.

図書

図書
by Günther Haensch and Gisela Haberkamp de Antón
出版情報: Amsterdam ; Tokyo : Elsevier, 1986  xxix, 1264 p. ; 23 cm
所蔵情報: loading…
9.

図書

図書
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…
10.

図書

図書
Walter Pagel ; edited by Marianne Winder
出版情報: London : Variorum Reprints, 1986  1 v. (various pagings) ; 23 cm
シリーズ名: Collected studies series ; CS235
所蔵情報: loading…
11.

図書

図書
Friedhelm Wenzlaff
出版情報: Bad Homburg : Limpert, c1986  206 p. ; 23 cm
所蔵情報: loading…
12.

図書

図書
von Giancarlo Bernabei
出版情報: Zürich : Verlag für Architektur Artemis, c1986  208 p. ; 20 cm
シリーズ名: Studiopaperback
所蔵情報: loading…
13.

図書

図書
edited by Paola Zambelli
出版情報: Berlin ; New York : W. de Gruyter, 1986  x, 293 p. ; 24 cm
所蔵情報: loading…
14.

図書

図書
Frederick Alfred Lubich
出版情報: Heidelberg : Carl Winter, 1986  331 p. ; 20 cm
シリーズ名: Reihe Siegen / herausgegeben von Wolfgang Drost ... [et al.] ; Bd. 63 . Germanistische Abteilung / verantwortlicher Herausgeber dieses Bandes, Helmut Kreuzer
所蔵情報: loading…
15.

図書

図書
Harenberg, Bodo, 1937- ; Harenberg Lexikon-Verlag ; Meyers Lexikonverlag ; Dönicke, Kerstin ; Venhoff, Michael ; Astor, Ellen
出版情報: Dortmund : Harenberg Lexikon, 1986-  v. ; 20 cm
所蔵情報: loading…
16.

図書

図書
herausgegeben von Joachim Dückert und Günter Kempcke
出版情報: Thun : Ott Verlag , [Leipzig] : Bibliographisches Institut Leipzig, c1986  543 p. ; 22 cm
所蔵情報: loading…
17.

図書

図書
compiled by Hugues Vaucher
出版情報: Amsterdam ; Tokyo : Elsevier, 1986  xiv, 413 p. ; 25 cm
所蔵情報: loading…
18.

図書

図書
von Børge Kristiansen
出版情報: Bonn : Bouvier, 1986  xxxxvi, 406 p. ; 24 cm
シリーズ名: Studien zur Literatur der Moderne ; Bd. 10
所蔵情報: loading…
19.

図書

図書
[Karl-Marx-Univ. Leipzig, Herder-Inst.]
出版情報: Leipzig : VEB Verlag Enzyklopädie, c1986  299 p. ; 23 cm
所蔵情報: loading…
20.

図書

図書
herausgegeben von der Redaktion für Literatur des Bibliographischen Instituts ; mit einer Einleitung von Wolf Dieter Lange
出版情報: Mannheim : Bibliographisches Institut, c1986  516 p. ; 20 cm
シリーズ名: Meyers kleine Lexika
所蔵情報: loading…
21.

図書

図書
von Hannelore Schlaffer
出版情報: Stuttgart : Alfred Kröner Verlag, c1986  xi, 274 p., [8] p. of col. plates ; 28 cm
所蔵情報: loading…
22.

図書

図書
Jochen Schröder
出版情報: Leipzig : Verlag Enzyklopädie, c1986  268 p. ; 20 cm
所蔵情報: loading…
23.

雑誌

雑誌
出版情報: [Montrouge Cedex] Gauthier-Villars, 1986-1987
巻次年月次: Vol. 4, no. 1 (Feb. 1986)-v. 5, no. 6 (Dec. 1987)
所蔵情報: loading…
24.

雑誌

雑誌
出版情報: [Montrouge Cedex] Gauthier-Villars, 1986-1987
巻次年月次: Vol. 4, no. 1 (Feb. 1986)-v. 5, no. 6 (Dec. 1987)
所蔵情報: loading…
25.

図書

図書
Friedo Giese
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xiii, 253 p. ; 25 cm
所蔵情報: loading…
26.

図書

図書
mit Beiträgen von Augustin Berque ... [et al.] ; herausgegeben von Constantin von Barloewen, Kai Werhahn-Mees
出版情報: Frankfurt am Main : Fischer Taschenbuch Verlag, 1986  233 p. ; 19 cm
シリーズ名: Japan und der Westen ; Bd. 1
所蔵情報: loading…
27.

図書

図書
mit Beiträgen von Robert J. Ballon ... [et al.] ; herausgegeben von Constantin von Barloewen, Kai Werhahn-Mees
出版情報: Frankfurt am Main : Fischer Taschenbuch Verlag, 1986  313 p. ; 19 cm
シリーズ名: Japan und der Westen ; Bd. 2
所蔵情報: loading…
28.

図書

図書
mit Beiträgen von Constantin von Barloewen ... [et al.] ; herausgegeben von Constantin von Barloewen, Kai Werhahn-Mees
出版情報: Frankfurt am Main : Fischer Taschenbuch Verlag, 1986  256 p. ; 19 cm
シリーズ名: Japan und der Westen ; Bd. 3
所蔵情報: loading…
29.

図書

図書
Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie, editors
出版情報: Basel ; Boston : Birkhäuser, 1986  4 v. ; 26 cm
シリーズ名: Contemporary mathematicians
所蔵情報: loading…
30.

図書

図書
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…
31.

図書

図書
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:
32.

図書

図書
Hans-Georg Gadamer
出版情報: Tübingen : Mohr, 1986  2 v. ; 24 cm
シリーズ名: Gesammelte Werke / Hans-Georg Gadamer ; Bd. 1, 2
所蔵情報: loading…
33.

図書

図書
von Johannes Winckelmann
出版情報: Tübingen : J.C.B. Mohr (Paul Siebeck), 1986  xii, 209 p. ; 24 cm
所蔵情報: loading…
34.

図書

図書
Kurt Otto Friedrichs ; Cathleen S. Morawetz, editor
出版情報: Boston ; Basel : Birkhäuser, 1986  2 v. ; 26 cm
シリーズ名: Contemporary mathematicians
所蔵情報: loading…
35.

図書

図書
Gordon Logie
出版情報: Amsterdam ; Tokyo : Elsevier, 1986  xxv, 254 p. ; 24 cm
シリーズ名: International planning glossaries ; 5
所蔵情報: loading…
36.

図書

図書
herausgegeben von Claus Träger
出版情報: Leipzig : VEB Bibliographisches Institut, 1986  714 p. ; 24 cm
所蔵情報: loading…
37.

図書

図書
Gerhard Wahrig ; hrsg. in Zusammenarbeit mit zahlreichen Wissenschaftlern und anderen Fachleuten
出版情報: München : Mosaik Verlag, 1986  1493 p. ; 25 cm
所蔵情報: loading…
38.

図書

図書
Rainer Weissauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  iii, 147 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1219
所蔵情報: loading…
39.

図書

図書
edited by Herbert Stoyan
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  x, 471 p. ; 25 cm
シリーズ名: Informatik-Fachberichte ; 118
所蔵情報: loading…
40.

図書

図書
Shizuo Kakutani ; Robert R. Kallman, editor
出版情報: Boston : Birkhäuser, 1986  2 v. ; 26 cm
シリーズ名: Contemporary mathematicians
所蔵情報: loading…
41.

雑誌

雑誌
出版情報: Gräfelfing, West Germany : Resch-Verlag, 1986-
巻次年月次: 1986, 4 (Apr. 1986)-1993, 12 (Dez. 1993) ; 9. Jahrg., 1 (Jan. 1994)-
所蔵情報: loading…
42.

雑誌

雑誌
Deutsche Gesellschaft fur Mineralöwissenschaft und Kohlechemie ; Deutsche Vereinigung der Erdölgeologen und Erdölingenieure ; Österreichische Gesellschaft für Erdölwissenschaften
出版情報: [Hamburg] : Urban-Verlag, 1986-
巻次年月次: 102. Jahrg., Heft 1 (Jan. 1986)-
所蔵情報: loading…
43.

雑誌

雑誌
出版情報: München : R. Oldenbourg, 1986-1992
巻次年月次: 28. Jahrg., Heft 1 (1986)-v. 34, no. 6 (1992)
所蔵情報: loading…
44.

雑誌

雑誌
出版情報: [Müchen] : VDI Verlag, 1986-
巻次年月次: 1/2-86 (Feb. 1986)-
所蔵情報: loading…
45.

雑誌

雑誌
Office central des transports internationaux ferroviaires (Bern, Switzerland)
出版情報: Berne, Suisse : Office central des transports internationaux ferroviaires, 1986-
巻次年月次: 94e année, no. 1/2 (juil./févr. 1986)-
所蔵情報: loading…
46.

雑誌

雑誌
出版情報: Berlin : Springer-Verlag, 1986-2008
巻次年月次: Bd.1, Heft 1 (Mar. 1986)-Bd. 22, Heft 4 (Okt. 2008)
所蔵情報: loading…
47.

雑誌

雑誌
Technische Universität Karl-Marx-Stadt
出版情報: Karl-Marx-Stadt : Technischen Universität Karl-Marx-Stadt, 1986-1990  v. ; 24 cm
巻次年月次: 28. Jahrg., Heft 5 (1986)-32. Jahrg., Heft 4 (1990)
所蔵情報: loading…
48.

雑誌

雑誌
Gesellschaft für Informatik. Fachgruppe Rechnerunterstützes Entwerfen und Konstruieren
出版情報: München : Carl Hanser Verlag, [c1986-1994]  v. ; 30 cm
巻次年月次: 81. Jahrg. (Jan. 1986)-89. Jahrg., 12 (Dez. 1994)
所蔵情報: loading…
49.

雑誌

雑誌
出版情報: Hamburg : Industrieverlag von Hernhaussen, 1953-[1986]
巻次年月次: 55. Jahrg., Nr. 1 (1954)-88. Jahrg. (1986)
所蔵情報: loading…
50.

雑誌

雑誌
出版情報: Wiesbaden : Freidr. Vieweg & Sohn, -1986
巻次年月次: -1986, Heft 6 (Dez. 1986)
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼