close
1.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Edmund Landau, Dieter Gaier
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xi, 201 p. ; ill. ; 24 cm
所蔵情報: loading…
7.

図書

図書
Jakob Nielsen ; edited for the Danish Mathematical Society by Vagn Lundsgaard Hansen
出版情報: Boston ; Basel : Birkhäuser, 1986  2 v. ; 27 cm
シリーズ名: Contemporary mathematicians
所蔵情報: loading…
8.

図書

図書
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼