1.

図書
図書
1. Introduction to the foundations of mathematics
Raymond L. Wilder
出版情報: New York : Wiley , Tokyo : Toppan, c1952
所蔵情報: loading…
2.

図書
図書
2. Language in action : categories, lambdas and dynamic logic. 1st MIT Press ed
Johan van Benthem
出版情報: Cambridge, Mass. : MIT Press, 1995, c1991
所蔵情報: loading…
3.

図書
図書
3. Philosophische Bemerkungen
Ludwig Wittgenstein ; aus dem Nachlaß herausgegeben von Rush Rhees
出版情報: Oxford : Basil Blackwell, c1964
所蔵情報: loading…
4.

図書
図書
4. Mathematical reasoning : analogies, metaphors, and images (: pbk.)
edited by Lyn D. English
出版情報: Mahwah, N.J. : L. Erlbaum Associates, 1997
シリーズ名: Studies in mathematical thinking and learning
所蔵情報: loading…
5.

図書
図書
5. Turing's World 3.0 : an introduction to computability theory : for the Macintosh
Jon Barwise and John Etchemendy
出版情報: Stanford, CA : CSLI, Center for the Study of Language and Information, c1993
シリーズ名: CSLI lecture notes ; no. 35
所蔵情報: loading…
6.

図書
図書
6. Philosophische Grammatik. 1. Aufl
Ludwig Wittgenstein ; herausgegeben von Rush Rhees
出版情報: Frankfurt am Main : Suhrkamp, 1989, c1969
シリーズ名: Werkausgabe / Ludwig Wittgenstein ; Bd. 4
所蔵情報: loading…
7.

図書
図書
7. Tractatus logico-philosophicus ; Tagebücher 1914-1916 ; Philosophische Untersuchungen. 1. Aufl
Ludwig Wittgenstein
出版情報: Frankfurt am Main : Suhrkamp, 1989
シリーズ名: Werkausgabe / Ludwig Wittgenstein ; Bd. 1
所蔵情報: loading…
8.

図書
図書
8. An introduction to symbolic logic. 2nd ed. rev
by Susanne K. Langer
出版情報: New York : Dover Publications, 1953
所蔵情報: loading…
9.

図書
図書
9. Mathematical epistemology and psychology
Evert W. Beth, Jean Piaget ; translated from the French by W. Mays
出版情報: Dordrecht, Holland : D. Reidel Pub. Co., 1966
シリーズ名: Synthese library
所蔵情報: loading…
10.

図書
図書
10. Régles utiles et claires pour la direction de l'esprit en la recherche de la vérité
René Descartes ; traduction selon le lexique cartésien, et annotation conceptuelle par Jean-Luc Marion ; avec des notes mathématiques de Pierre Costabel
出版情報: La Haye : Nijhoff, 1977
シリーズ名: Archives internationales d'histoire des idées = International archives of the history of ideas ; 88
所蔵情報: loading…
11.

図書
図書
11. 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
12.

図書
図書
12. Transcendence and Wittgenstein's Tractatus (: alk. paper)
Michael P. Hodges
出版情報: Philadelphia : Temple University Press, 1990
所蔵情報: loading…
13.

図書
図書
13. Wittgenstein's Tractatus : an introduction
H.O. Mounce
出版情報: Chicago : University of Chicago Press, 1989, c1981
シリーズ名: Midway reprint
所蔵情報: loading…
14.

図書
図書
14. Prototractatus : an early version of Tractatus logico-philosophicus
by Ludwig Wittgenstein ; edited by B.F. McGuinness, T. Nyberg, G.H. von Wright ; with a translation [from the German] by D.F. Pears, B.F. McGuinness, an historical introduction by G.H.von Wright and a facsimile of the author's manuscript
出版情報: London : Routledge, 1996
所蔵情報: loading…
15.

図書
図書
15. Signs of sense : reading Wittgenstein's Tractatus
Eli Friedlander
出版情報: Cambridge, MA : Harvard University Press, 2001
所蔵情報: loading…
16.

図書
図書
16. Philosophical grammar (: pbk)
Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny
出版情報: Oxford [England] : Blackwell, c1974
所蔵情報: loading…
目次情報:
pt. 1. The proposition and its sense
pt. 2. On logic and mathematics
pt. 1. The proposition and its sense
pt. 2. On logic and mathematics
17.

図書
図書
17. Introduction to symbolic logic and its applications
by Rudolf Carnap ; translated by William H. Meyer and John Wilkinson
出版情報: New York : Dover, 1958
所蔵情報: loading…
18.

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

図書
図書
19. Lectures on linear logic (: [hard] ; : pbk)
A.S. Troelstra
出版情報: Stanford, Calif. : Center for the Study of Language and Information, c1992
シリーズ名: CSLI lecture notes ; no. 29
所蔵情報: loading…
20.

図書
図書
20. Introduction to symbolic logic. 2nd ed. (: hard)
by A.H. Basson, and D.J. O'Connor
出版情報: London : University Tutorial Press, 1957
所蔵情報: loading…
21.

図書
図書
21. Philosophische Grammatik. 1. Aufl (: set ; : kart)
Ludwig Wittgenstein ; herausgegeben von Rush Rhees
出版情報: Frankfurt am Main : Suhrkamp, 1984, c1969
シリーズ名: Suhrkamp Taschenbuch Wissenschaft ; 504 . Werkausgabe / Ludwig Wittgenstein ; Bd. 4
所蔵情報: loading…
22.

図書
図書
22. Tractatus logico-philosophicus ; Tagebücher 1914-1916 ; Philosophische Untersuchungen. 1. Aufl (: set ; : kart)
Ludwig Wittgenstein
出版情報: Frankfurt am Main : Suhrkamp, 1984
シリーズ名: Suhrkamp Taschenbuch Wissenschaft ; 501 . Werkausgabe / Ludwig Wittgenstein ; Bd. 1
所蔵情報: loading…
23.

図書
図書
23. Logic and structure. 3rd augm. ed
Dirk van Dalen
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Universitext
所蔵情報: loading…
24.

図書
図書
24. Elements of logic via numbers and sets
D. L. Johnson
出版情報: Berlin : Springer, c1998
シリーズ名: Springer undergraduate mathematics series
所蔵情報: loading…
25.

図書
図書
25. Relation and logical formula (: pbk)
Roland Fraïssé ; [translation edited by David Louvish]
出版情報: Dordrecht : Reidel, c1974
シリーズ名: Synthese library ; . Course of mathematical logic ; v. 1
所蔵情報: loading…
26.

図書
図書
26. Set theory, logic, and their limitations (: pbk)
Moshé Machover
出版情報: Cambridge ; New York : Cambridge University Press, 1996
所蔵情報: loading…
27.

図書
図書
27. Logic as algebra
Paul Halmos, Steven Givant
出版情報: [Washington, D.C.] : Mathematical Association of America, c1998
シリーズ名: The Dolciani mathematical expositions ; no. 21
所蔵情報: loading…
28.

図書
図書
28. Mathematical logic : a course with exercises
René Cori and Daniel Lascar ; translated by Donald H. Pelletier
出版情報: New York : Oxford University Press, 2000-
所蔵情報: loading…
29.

図書
図書
29. A mathematical introduction to logic
Herbert B. Enderton
出版情報: Orlando ; Tokyo : Academic Press, c1972
所蔵情報: loading…
30.

図書
図書
30. Introduction to mathematical logic (: pbk)
by Alonzo Church
出版情報: Princeton : Princeton University Press, 1996
シリーズ名: Princeton landmarks in mathematics and physics
所蔵情報: loading…
31.

図書
図書
31. Recursion theory, Gödel's theorems, set theory, model theory (: hbk ; : pbk)
René Cori and Daniel Lascar ; translated by Donald H. Pelletier
出版情報: New York : Oxford University Press, 2001
シリーズ名: Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier ; pt. 2
所蔵情報: loading…
32.

図書
図書
32. Games, logic, and constructive sets (: pbk)
edited by Grigori Mints, Reinhard Muskens
出版情報: Stanford, Calif. : CSLI Publications, c2003
シリーズ名: CSLI lecture notes ; no. 161
所蔵情報: loading…
33.

図書
図書
33. Toposes and local set theories : an introduction. Dover ed (: pbk)
J.L. Bell
出版情報: Mineola, N.Y. : Dover Publications, 2008, c1988
所蔵情報: loading…
34.

図書
図書
34. Propositional calculus, Boolean algebras, predicate calculus (: hbk ; : pbk)
René Cori and Daniel Lascar ; translated by Donald H. Pelletier
出版情報: New York ; Tokyo : Oxford University Press, 2000
シリーズ名: Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier ; pt. 1
所蔵情報: loading…
35.

図書
図書
35. Logical number theory (v. 1 : gw ; v. 1 : us)
Craig Smoryński
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991-
シリーズ名: Universitext
所蔵情報: loading…
36.

図書
図書
36. Non-standard analysis. Rev. ed
Abraham Robinson
出版情報: Princeton, N.J. : Princeton University Press, c1996
シリーズ名: Princeton landmarks in mathematics and physics
Princeton paperbacks
所蔵情報: loading…
37.

図書
図書
37. Mathematical logic
edited by R.O. Gandy and C.E.M. Yates ; including prafaces by Solomon Feferman ... [et al.]
出版情報: Amsterdam ; Tokyo : Elsevier, 2001
シリーズ名: Collected works of A.M. Turing
所蔵情報: loading…