close
1.

図書
図書
1. 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
2.

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

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

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

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

図書
図書
6. Symbolic logic and intelligent machines
Edmund C. Berkeley
出版情報: New York : Reinhold, c1959  203 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼