close
1.

図書
図書
1. Introduction to symbolic logic and its applications
by Rudolf Carnap ; translated by William H. Meyer and John Wilkinson
出版情報: New York : Dover, 1958  xiv, 241 p. ; 21 cm
所蔵情報: loading…
2.

図書
図書
2. Introduction to semantics and formalization of logic
by Rudolf Carnap
出版情報: Cambridge, Mass. : Harvard University Press, [1959], c1943  xiv, 259, xv, 159 p. ; 22 cm
シリーズ名: 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
3.

図書
図書
3. The elements of mathematical logic. 1st ed
Paul C. Rosenbloom
出版情報: New York : Dover Pub., 1950  iv, 214, 15 p. ; 21 cm
シリーズ名: The Dover series in mathematics and physics
所蔵情報: loading…
4.

図書
図書
4. Symbolic logic ; and, The game of logic
by Lewis Carroll
出版情報: New York : Dover Publications, 1958  xxxi, 199, 96 p. ; 21 cm
シリーズ名: Mathematical recreations of Lewis Carroll [pseud.] ; v. 1
所蔵情報: loading…
目次情報:
Symbolic logic
The game of logic
Symbolic logic
The game of logic
5.

図書
図書
5. Logic for mathematicians
J. Barkley Rosser
出版情報: New York : McGraw-Hill, 1953  xiv, 530 p. ; 23 cm
シリーズ名: International series in pure and applied mathematics
所蔵情報: loading…
6.

図書
図書
6. Symbolic logic. 2nd ed
by Clarence Irving Lewis and Cooper Harold Langford
出版情報: New York : Dover, 1959  518 p. ; 21 cm
シリーズ名: Dover books on mathematics ; S170
所蔵情報: loading…
7.

図書
図書
7. Mathematical recreations of Lewis Carroll [pseud.]
Carroll, Lewis, 1832-1898
出版情報: New York : Dover Publications, [1958]  2 v. ; 21 cm
所蔵情報: loading…
8.

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

図書
図書
9. Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Andrzej Mostowski
出版情報: Amsterdam : North-Holland Pub. Co., 1952  viii, 117 p. ; 22 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
10.

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

図書
図書
11. Introduction to the foundations of mathematics
Raymond L. Wilder
出版情報: New York : Wiley , Tokyo : Toppan, c1952  xiv, 305 p. ; 24 cm
所蔵情報: loading…
12.

図書
図書
12. Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe
Surányi, János, 1918-
出版情報: Budapest : Verlag der Ungarischen Akademie der Wissenschaften, 1959  215 p ; 25 cm
所蔵情報: loading…
13.

図書
図書
13. Introductory formal logic of mathematics
by P. H. Nidditch
出版情報: London : Iniversity Tutorial Press, c1957  vii, 188 p ; 19 cm
所蔵情報: loading…
14.

図書
図書
14. An introduction to symbolic logic. 2nd ed. rev
by Susanne K. Langer
出版情報: New York : Dover Publications, 1953  367 p. ; 21 cm
所蔵情報: loading…
15.

図書
図書
15. An introduction to Wittgenstein's Tractatus
G.E.M. Anscombe
出版情報: London : Hutchinson, 1959  179 p. ; 19 cm
シリーズ名: Hutchinson University Library ; philosophy
所蔵情報: loading…
16.

図書
図書
16. Symbolic logic : an introduction
by Frederic Brenton Fitch
出版情報: New York : Ronald Press, 1952  x, 238 p. ; 22 cm
所蔵情報: loading…
17.

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

図書
図書
18. Symbolic logic and intelligent machines
Edmund C. Berkeley
出版情報: New York : Reinhold, c1959  203 p. ; 24 cm
所蔵情報: loading…
19.

図書
図書
19. Mathematics and logic for digital devices
by James T. Culbertson
出版情報: Princeton, N.J. : Van Nostrand, c1958  x, 224 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼