close
1.

図書
図書
1. 数学と自然科学の哲学
ヘルマン・ワイル [著] ; 菅原正夫 [ほか] 訳
出版情報: 東京 : 岩波書店, 1959.7  viii, 366p ; 22cm
所蔵情報: loading…
2.

図書
図書
2. Introduction to the theory of finite automata
N.E.Kobrinskiy and B.A. Trakhtenbrot ; translation edited by J.C. Shepherdson
出版情報: Amsterdam : North-Holland, 1965  x, 337 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
3.

図書
図書
3. Vorlesungen über Aussagenlogik (: pbk)
von H. Arnold Schmidt
出版情報: Berlin : Springer, 1960  xxiv, 555 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 69 . Mathematische Gesetze der Logik ; 1
所蔵情報: loading…
4.

図書
図書
4. Essays on the foundations of mathematics : dedicated to A. A. Fraenkel on his seventieth anniversary
edited by Y. Bar-Hillel ... [et al.]
出版情報: Jerusalem : Magnes Press, Hebrew University , Amsterdam : North-Holland [distributor], 1961  x, 351 p. ; 25 cm
所蔵情報: loading…
5.

図書
図書
5. Einführung in die operative Logik und Mathematik
von Paul Lorenzen
出版情報: Berlin : Springer, 1955  298 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 78
所蔵情報: loading…
6.

図書
図書
6. Grundzüge der theoretischen Logik. 5. Aufl
D. Hilbert und W. Ackermann
出版情報: Berlin : Springer, 1967  viii, 188 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 27
所蔵情報: loading…
7.

図書
図書
7. 数学の問題 : ヒルベルトの問題
D. Hilbert著 ; 一松信訳・解説
出版情報: 東京 : 共立出版, 1969  141p ; 22cm
シリーズ名: 現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 4
所蔵情報: loading…
8.

図書
図書
8. The collected papers of Gerhard Gentzen
edited by M.E. Szabo
出版情報: Amsterdam : North-Holland Pub, c1969  xii, 338 p., [2] p. of plates ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
9.

図書
図書
9. The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958
edited by Leon Henkin, Patrick Suppes, Alfred Tarski
出版情報: Amsterdam : North-Holland, 1959  xi, 488 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼