close
1.

図書
図書
1. Tractatus logico-philosophicus. [Repr. ed.]
by Ludwig Wittgenstein ; with an introduction by Bertrand Russell
出版情報: London : Routledge & Kegan Paul, 1955
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
2.

図書
図書
2. The anatomy of mathematics
by R.B. Kershner [and] L.R. Wilcox
出版情報: New York : Ronald Press, [1950]
所蔵情報: loading…
3.

図書
図書
3. Mengenlehre und Logik
von Abraham A. Fraenkel
出版情報: Berlin : Duncker & Humblot, c1959
シリーズ名: Erfahrung und Denken ; Bd. 2
所蔵情報: loading…
4.

図書
図書
4. Meaning and necessity : a study in semantics and modal logic. 2nd ed
by Rudolf Carnap
出版情報: Chicago ; London : University of Chicago Press, 1958, c1956
シリーズ名: Phoenix books ; P30
所蔵情報: loading…
5.

図書
図書
5. Symbolic logic and intelligent machines
Edmund C. Berkeley
出版情報: New York : Reinhold, c1959
所蔵情報: loading…
6.

図書
図書
6. Induction and analogy in mathematics (: hbk ; : pbk)
by G. Polya
出版情報: Princeton : Princeton University Press, 1954
シリーズ名: Mathematics and plausible reasoning ; v. 1
所蔵情報: loading…
7.

図書
図書
7. Logic in elementary mathematics
Robert M. Exner, Myron F. Rosskopf
出版情報: New York : McGraw-Hill, 1959
所蔵情報: loading…
8.

図書
図書
8. Mathematical logic. Rev. ed
by Willard Van Orman Quine
出版情報: Cambridge : Harvard University Press, 1951
所蔵情報: loading…
9.

図書
図書
9. Patterns of plausible inference (: cloth ; : paper)
by G. Polya
出版情報: Princeton : Princeton University Press, 1954
シリーズ名: Mathematics and plausible reasoning ; v. 2
所蔵情報: loading…
10.

図書
図書
10. Logic for mathematicians
J. Barkley Rosser
出版情報: New York : McGraw-Hill, 1953
シリーズ名: International series in pure and applied mathematics
所蔵情報: loading…
11.

図書
図書
11. Introduction to the foundations of mathematics
Raymond L. Wilder
出版情報: New York : J. Wiley, c1952
所蔵情報: loading…
12.

図書
図書
12. Introduction to semantics and formalization of logic
by Rudolf Carnap
出版情報: Cambridge, Mass. : Harvard University Press, [1959], c1943
シリーズ名: Studies in semantics ; v. 1-2
所蔵情報: loading…
目次情報:
Vol.I:Introduction to semantics
Vol.II:Formalization of logic
Vol.I:Introduction to semantics
Vol.II:Formalization of logic