1.

図書
図書
1. Handbook of mathematical logic (: pbk)
edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1977
シリーズ名: Studies in logic and the foundations of mathematics ; v. 90
所蔵情報: loading…
2.

図書
図書
2. Introduction to mathematical logic : set theory, computable functions, model theory (: us ; : gw)
Jerome Malitz
出版情報: New York ; Tokyo : Springer-Verlag, c1979
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
3.

図書
図書
3. Grundlagen der Mathematik. 2. Aufl (v. 1 ; v. 2)
D. Hilbert und P. Bernays
出版情報: Berlin : Springer, 1968-70
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 40, 50
所蔵情報: loading…
4.

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

図書
図書
5. Philosophical remarks (pbk.)
Ludwig Wittgenstein ; edited from his posthumous writings by Rush Rhees ; translated [from the German] into English by Raymond Hargreaves and Roger White
出版情報: Oxford : Blackwell, 1975
所蔵情報: loading…
6.

図書
図書
6. Past, present and future
by Arthur Prior
出版情報: Oxford ; Tokyo : Clarendon Press, c1967
所蔵情報: loading…
7.

図書
図書
7. A course in mathematical logic (: us ; : gw)
Yu.I. Manin ; translated from the Russian by Neal Koblitz
出版情報: New York : Springer-Verlag, c1977
シリーズ名: Graduate texts in mathematics ; 53
所蔵情報: loading…
8.

図書
図書
8. An algebraic introduction to mathematical logic (us ; gw)
Donald W. Barnes, John M. Mack
出版情報: New York : Springer-Verlag, c1975
シリーズ名: Graduate texts in mathematics ; v. 22
所蔵情報: loading…
9.

図書
図書
9. Coding the universe (pbk.)
A. Beller, R. Jensen, P. Welch
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, c1982
シリーズ名: London Mathematical Society lecture note series ; 47
所蔵情報: loading…
10.

図書
図書
10. Laws of form
G. Spencer Brown
出版情報: London : Allen & Unwin, 1969
所蔵情報: loading…
11.

図書
図書
11. Logic, proof, and sets. 2nd ed (est.)
Marvin L. Bittinger
出版情報: Reading, Mass. : Addison-Wesley, c1982
所蔵情報: loading…
12.

図書
図書
12. Elements of logic and foundations of mathematics in problems (pbk.)
Wiktor Marek and Janusz Onyszkiewicz
出版情報: Dordrecht, Holland : D. Reidel , Warszawa : PWN-Polish Scientific Publishers , Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston, c1982
所蔵情報: loading…
13.

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

図書
図書
14. Introduction to mathematical logic. 3rd ed
Elliott Mendelson
出版情報: Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, c1987
シリーズ名: The Wadsworth & Brooks/Cole mathematics series
所蔵情報: loading…
15.

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

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

図書
図書
17. Bridge to abstract mathematics : mathematical proof and structures
Ronald P. Morash
出版情報: New York, NY : Random House, c1987
シリーズ名: The Random House/Birkhäuser mathematics series
所蔵情報: loading…
18.

図書
図書
18. Foundations of mathematical logic
Haskell B. Curry
出版情報: New York : Dover Publications, 1977
所蔵情報: loading…
19.

図書
図書
19. Algebraic systems (U.S. ; Germany)
A.I. Malʹcev ; translated from the Russian by B.D. Seckler and A.P. Doohovskoy
出版情報: Berlin ; New York : Springer-Verlag, 1973
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 192
所蔵情報: loading…
20.

図書
図書
20. Logic : techniques of formal reasoning. 2nd ed
Donald Kalish, Richard Montague, Gary Mar ; under the general editorship of Robert J. Fogelin
出版情報: San Diego : Harcourt Brace Jovanovich, c1980
所蔵情報: loading…
21.

図書
図書
21. Input transformations and resolution implementation techniques for theorem proving in first-order logic
Steven Greenbaum
出版情報: Ann Arbor, Mich. : University Microfilms International, c1986
所蔵情報: loading…
22.

図書
図書
22. Arbeiten zur Analysis und zur mathematischen Logik. 1. Aufl
G. Peano ; herausgegeben und mit einem Nachwort versehen von G. Asser
出版情報: Leipzig : BSB B.G. Teubner Verlagsgesellschaft, c1990
シリーズ名: Teubner-Archiv zur Mathematik ; Bd. 13
所蔵情報: loading…
23.

図書
図書
23. 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…
24.

図書
図書
24. Patterns of plausible inference. 2nd ed (: cloth ; : paper)
By G. Polya
出版情報: Princeton : Princeton University Press, 1968
シリーズ名: Mathematics and plausible reasoning ; v. 2
所蔵情報: loading…
25.

図書
図書
25. Frege and Gödel : two fundamental texts in mathematical logic (: hard ; : pbk)
[Gottlob Frege, Kurt Gödel] ; edited by Jean van Heijenoort
出版情報: Cambridge, Mass. : Harvard University Press, 1970
所蔵情報: loading…
26.

図書
図書
26. 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
27.

図書
図書
27. Mathematical logic
Stephen Cole Kleene
出版情報: New York : J. Wiley, c1967
所蔵情報: loading…
28.

図書
図書
28. Wittgenstein's Tractatus : an introduction (: pbk.)
H.O. Mounce
出版情報: Chicago : University of Chicago Press, 1981
所蔵情報: loading…
29.

図書
図書
29. The elements of mathematical logic (: pbk)
Paul C. Rosenbloom
出版情報: New York : Dover Pub., c1950
所蔵情報: loading…
30.

図書
図書
30. Proof, logic, and conjecture : the mathematician's toolbox
Robert S. Wolf
出版情報: New York : W.H. Freeman, c1998
所蔵情報: loading…
31.

図書
図書
31. Algebraic methods of mathematical logic
Ladislav Rieger ; translated by Michael Basch
出版情報: Prague : Academia , New York : Academic Press, 1967
所蔵情報: loading…
32.

図書
図書
32. The language of logic
by Hans Freudenthal
出版情報: Amsterdam ; New York : Elsevier, 1966
所蔵情報: loading…
33.

図書
図書
33. Symbolic logic. 2nd ed., rev. and rewritten
by John Venn
出版情報: Bronx, N.Y. : Chelsea, 1971
所蔵情報: loading…
34.

図書
図書
34. Tractatus logico-philosophicus ; Tagebücher 1914-1916 ; Philosophische Untersuchungen
Ludwig Wittgenstein
出版情報: Frankfurt am Main : Suhrkamp, 1960
シリーズ名: Schriften / Ludwig Wittgenstein
所蔵情報: loading…
35.

図書
図書
35. How to read and do proofs : an introduction to mathematical thought processes. 2nd ed
Daniel Solow
出版情報: New York : Wiley, c1990
所蔵情報: loading…
36.

図書
図書
36. Elements of symbolic logic
Hans Reichenbach
出版情報: New York : Free Press, 1966, c1947
シリーズ名: A Free Press paperback ; 92625
所蔵情報: loading…
37.

図書
図書
37. Logic for mathematicians (: pbk)
A.G. Hamilton
出版情報: Cambridge [Eng.] ; New York : Cambridge University Press, 1978
所蔵情報: loading…
38.

図書
図書
38. Tractatus logico-philosophicus : the German text of Ludwig Wittgenstein's Logisch-philosophische Abhandlung
with a new translation by D.F. Pears & B.F. McGuinness ; and with the introduction by Bertrand Russell
出版情報: London : Routledge & Kegan Paul, 1963
シリーズ名: International library of philosophy and scientific method
所蔵情報: loading…
39.

図書
図書
39. Descartes's Rules for the direction of the mind
by Harold H. Joachim ; ed. by Errol E. Harris
出版情報: London : Allen & Unwin, 1957
所蔵情報: loading…
40.

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

図書
図書
41. Set theory and logic
by Abraham A. Fraenkel
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, [1966]
シリーズ名: Adiwes international series
Addison-Wesley series in logic / Hartley Roger, Jr., consulting editor
所蔵情報: loading…
42.

図書
図書
42. Formale Logik und Grammatik
Hans Jürgen Heringer
出版情報: Tübingen : M. Niemeyer, 1972
シリーズ名: Germanistische Arbeitshefte ; 6
所蔵情報: loading…
43.

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

図書
図書
44. The logical and set-theoretical foundations of mathematics
[by] A. Zulauf
出版情報: Edinburgh : Oliver and Boyd, 1969
シリーズ名: A Modern introduction to pure mathematics
所蔵情報: loading…
45.

図書
図書
45. The development of mathematical logic
by P. H. Nidditch
出版情報: Bristol : Thoemmes Press, 1998
シリーズ名: Key texts : classic studies in the history of ideas
所蔵情報: loading…
46.

図書
図書
46. Logic of mathematics : a modern course of classical logic (: cloth : alk. pape)
Zofia Adamowicz, Paweł Zbierski
出版情報: New York : Wiley, c1997
シリーズ名: Pure and applied mathematics
所蔵情報: loading…
47.

図書
図書
47. The elements of mathematical logic. 1st ed
Paul C. Rosenbloom
出版情報: New York : Dover Pub., 1950
シリーズ名: The Dover series in mathematics and physics
所蔵情報: loading…
48.

図書
図書
48. Basic concepts of mathematics and logic
Michael C. Gemignani
出版情報: Reading, Mass. : Addison-Wesley, c1968
シリーズ名: Addison-Wesley series in introductory mathematics
所蔵情報: loading…
49.

図書
図書
49. Fundamental concepts of modern mathematics
[by] Max D. Larsen
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, c1970
所蔵情報: loading…
50.

図書
図書
50. Logic and visual information (: cloth : alk. paper ; : pbk. : alk. paper)
Eric M. Hammer
出版情報: Stanford, Calif. : CSLI Publications , [Dordrecht?] : FoLLI, c1995
シリーズ名: Studies in logic, language and information
所蔵情報: loading…
51.

図書
図書
51. Symbolic logic
by Clarence Irving Lewis and Cooper Harold Langford
出版情報: New York : Dover Publications, [195-?]
所蔵情報: loading…
52.

図書
図書
52. The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability. 2nd ed
by Hans Reichenbach ; English translation by Ernest H. Hutten and Maria Reichenbach
出版情報: Berkeley : University of California Press, 1949
所蔵情報: loading…
53.

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

図書
図書
54. Word and object (: pbk)
Willard Van Orman Quine
出版情報: Cambridge, Mass. : M. I. T. Press, c1960
所蔵情報: loading…
55.

図書
図書
55. Introduction to mathematical logic (v. 1)
by Alonzo Church
出版情報: Princeton, N.J. : Princeton University Press, 1956
シリーズ名: Princeton mathematical series ; v. 17
所蔵情報: loading…
56.

図書
図書
56. Mathematical logic
Joseph R. Shoenfield
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1967
シリーズ名: Addison-Wesley series in logic / Hartley Roger, Jr., consulting editor
所蔵情報: loading…
57.

図書
図書
57. Grundzüge der theoretischen Logik. 6. Aufl
D. Hilbert und W. Ackermann
出版情報: Berlin : Springer, 1972
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 27
所蔵情報: loading…
58.

図書
図書
58. How to prove it : a structured approach (: pbk)
Daniel J. Velleman
出版情報: Cambridge [England] ; New York : Cambridge University Press, 1994
所蔵情報: loading…
59.

図書
図書
59. An introduction to mathematical logic
Richard E. Hodel
出版情報: Boston : PWS Pub. Co., c1995
所蔵情報: loading…
60.

図書
図書
60. Einführung in die operative Logik und Mathematik. 2 Aufl
Paul Lorenzen
出版情報: Berlin ; New York : Springer-Verlag, 1969
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 78
所蔵情報: loading…
61.

図書
図書
61. Temporal logic (: us ; : gw)
[by] Nicholas Rescher and Alasdair Urquhart
出版情報: New York : Springer-Verlag, 1971
シリーズ名: Library of exact philosophy ; 3
所蔵情報: loading…
62.

図書
図書
62. Logik und Sprache
hrg. von Albert Menne und Gerhard Frey ; [Beitr. von J. L. Austin ... et al.]
出版情報: Bern ; München : Francke, 1974
シリーズ名: Exempla logica ; Bd. 1
所蔵情報: loading…
63.

図書
図書
63. Term logic with choice operator
Hans Hermes
出版情報: Berlin ; New York : Springer-Verlag, 1970
シリーズ名: Lecture notes in mathematics ; 6
所蔵情報: loading…
64.

図書
図書
64. Logic and algorithms : with applications to the computer and information sciences
Robert R. Korfhage
出版情報: New York : Wiley, c1966
所蔵情報: loading…
65.

図書
図書
65. Mathematical logic
J. Donald Monk
出版情報: New York : Springer-Verlag, 1976
シリーズ名: Graduate texts in mathematics ; 37
所蔵情報: loading…
66.

図書
図書
66. Foundations of mathematical logic
Haskell B. Curry
出版情報: New York : McGraw-Hill, [1963]
シリーズ名: McGraw-Hill series in higher mathematics
所蔵情報: loading…
67.

図書
図書
67. Dictionary of symbols of mathematical logic
Edited by Robert Feys and Frederic B. Fitch
出版情報: Amsterdam : North-Holland Pub. Co., c1969
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
68.

図書
図書
68. Wittgenstein's Tractatus : a critical exposition of its main lines of thought
by Erik Stenius
出版情報: Westport, Conn. : Greenwood Press, 1981, c1960
所蔵情報: loading…