1.

図書
図書
1. Tractatus logico-philosophicus (: hbk ; : pbk)
Ludwig Wittgenstein ; translated by D.F. Pears, B.F. McGuinness ; with the introduction by Bertrand Russell
出版情報: London : Routledge, 2001
シリーズ名: Routledge classics
所蔵情報: loading…
2.

図書
図書
2. Mathematical logic
by R.L. Goodstein
出版情報: [Leicester, Eng.] : Leicester University Press, 1957
所蔵情報: loading…
3.

図書
図書
3. The two-valued iterative systems of mathematical logic
by Emil L. Post
出版情報: Princeton : Princeton University Press , London : H. Milford, Oxford university press, 1941
シリーズ名: Annals of mathematics studies ; no. 5
所蔵情報: loading…
4.

図書
図書
4. Logic and structure. 3rd augm. ed. corrected 2nd print
Dirk van Dalen
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1997, c1994
シリーズ名: Universitext
所蔵情報: loading…
5.

図書
図書
5. Classical and fuzzy concepts in mathematical logic and applications
Mircea Reghiș, Eugene Roventa
出版情報: Boca Raton : CRC Press, c1998
所蔵情報: loading…
6.

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

図書
図書
7. Logisch-philosophische Abhandlung = Tractatus logico-philosophicus : kritische Edition. 2. Aufl.
Ludwig Wittgenstein : herausgegeben von Brian McGuinness und Joachim Schulte
出版情報: Frankfurt am Main : Suhrkamp, 2001
所蔵情報: loading…
8.

図書
図書
8. The logic of information structures (: us ; : gw)
Heinrich Wansing
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 681 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. Logic for applications (: us ; : gw)
Anil Nerode, Richard A. Shore
出版情報: New York : Springer-Verlag, c1993
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
10.

図書
図書
10. Formal methods in artificial intelligence
Allan Ramsay
出版情報: Cambridge ; New York : Cambridge University Press, 1988
シリーズ名: Cambridge tracts in theoretical computer science ; 6
所蔵情報: loading…
11.

図書
図書
11. Mathematics and logic for digital devices
James T. Culbertson
出版情報: Princeton, N.J. : Van Nostrand, c1958
所蔵情報: loading…
12.

図書
図書
12. Logic and structure. 2nd ed., corrected 2nd print (: us:pbk. ; : gw)
Dirk van Dalen
出版情報: Berlin ; New York : Springer-Verlag, c1983
シリーズ名: Universitext
所蔵情報: loading…
13.

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

図書
図書
14. Set theory and the continuum hypothesis
Paul J. Cohen
出版情報: New York ; Amsterdam : Benjamin, 1966
シリーズ名: Mathematics lecture note series
所蔵情報: loading…
15.

図書
図書
15. 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…
16.

図書
図書
16. Mathematical theory of program correctness
Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1980
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
17.

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

図書
図書
18. First-order dynamic logic (: gw ; : us)
David Harel
出版情報: Berlin ; Tokyo : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 68
所蔵情報: loading…
19.

図書
図書
19. Prototractatus : an early version of Tractatus logico-philosophicus
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 and K. Paul, 1971
所蔵情報: loading…
20.

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

図書
図書
21. Mathematical logic with special reference to the natural numbers
[by] S.W.P. Steen
出版情報: Cambridge [Eng.] : Cambridge University Press, 1972
所蔵情報: loading…
22.

図書
図書
22. Intensional logic and the metaphysics of intentionality
Edward N. Zalta
出版情報: Cambridge, Mass. : MIT Press, c1988
所蔵情報: loading…
23.

図書
図書
23. From mathematics to philosophy
[by] Hao Wang
出版情報: London : Routledge & Kegan Paul , New York : Humanities Press, [1974]
シリーズ名: International library of philosophy and scientific method / editor, Ted Honderich
所蔵情報: loading…
24.

図書
図書
24. Two applications of logic to mathematics (: ja ; : us)
by Gaisi Takeuti
出版情報: [Tokyo] : Iwanami Shoten , [Princeton, N.J.] : Princeton University Press, 1978
シリーズ名: Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3
所蔵情報: loading…
25.

図書
図書
25. From signs to propositions : the concept of form in eighteenth-century semantic theory
Stephen K. Land
出版情報: London : Longman, 1974
シリーズ名: Longman linguistics library ; no. 16
所蔵情報: loading…
26.

図書
図書
26. Introduction to the basic concepts and problems of modern logic
[by] G. Hasenjaeger ; [Translated from the German by E. C. M. Mays]
出版情報: Dordrecht-Holland : D. Reidel Pub. Co, c1972
所蔵情報: loading…
27.

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

図書
図書
28. Proofs and refutations : the logic of mathematical discovery (: hard ; : pbk)
Imre Lakatos ; edited by John Worrall and Elie Zahar
出版情報: Cambridge : Cambridge University Press, 1976
所蔵情報: loading…
29.

図書
図書
29. Set theory and logic
by Robert R. Stoll
出版情報: New York : Dover Publications, 1979
所蔵情報: loading…
30.

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

図書
図書
31. On group-theoretic decision problems and their classification
by Charles F. Miller, III
出版情報: Princeton, N.J. : Princeton University Press , [Tokyo] : University of Tokyo Press, 1971
シリーズ名: Annals of mathematics studies ; no. 68
所蔵情報: loading…
32.

図書
図書
32. Non-standard analysis
Abraham Robinson
出版情報: Amsterdam : North-Holland Pub. Co., 1966
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
33.

図書
図書
33. Logic for mathematicians. Rev. ed
A.G. Hamilton
出版情報: Cambridge [Eng.] ; New York : Cambridge University Press, 1988
所蔵情報: loading…
34.

図書
図書
34. Recursive function theory and logic
Yasuhara, Ann
出版情報: New York : Academic Press, 1971
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
35.

図書
図書
35. Elements of the theory of computation (: UK)
Harry R. Lewis, Christos H. Papadimitriou
出版情報: Englewood Cliffs, N.J. : Prentice-Hall , London : Prentice-Hall International, c1981
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
36.

図書
図書
36. Deductive systems
Zohar Manna, Richard Waldinger
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1990
シリーズ名: Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 2
所蔵情報: loading…
37.

図書
図書
37. Equational logic as a programming language
Michael J. O'Donnell
出版情報: Cambridge, Mass. : MIT Press, c1985
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: loading…
38.

図書
図書
38. Foundations : essays in philosophy, logic, mathematics and economics
F.P. Ramsey ; edited by D.H. Mellor ; with introductions by D.H. Mellor ... [et al.]
出版情報: London : Routledge & K. Paul, 1978
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
39.

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

図書
図書
40. A course in mathematical logic. 1st ed
by J.L. Bell and M. Machover
出版情報: Amsterdam ; Tokyo : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977
所蔵情報: loading…
41.

図書
図書
41. Logic for problem solving (: pbk)
Robert Kowalski
出版情報: New York : Elsevier North Holland, c1979
シリーズ名: Elsevier computer science library ; . Artificial intelligence series ; 7
所蔵情報: loading…
42.

図書
図書
42. Six papers in logic
by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver]
出版情報: Providence, R.I. : American Mathematical Society, c1987
シリーズ名: American Mathematical Society translations ; ser. 2, v. 135
所蔵情報: loading…
目次情報: 続きを見る
Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers B.I. Zilʹber
On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers B.I. Zilʹber
On theories with a basis M.I. Bekenov
Gentzen systems of postulates for set theory V.E. Vailʹ
Arithmetically complete modal theories S.N. Artemov
On the complexity of shortest disjunctive normal forms of Boolean functions A.D. Korshunov
Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers B.I. Zilʹber
On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers B.I. Zilʹber
On theories with a basis M.I. Bekenov
43.

図書
図書
43. 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…
44.

図書
図書
44. Notebooks, 1914-1916. 2nd ed (: pbk)
Ludwig Wittgenstein ; edited by G.H. von Wright and G.E.M. Anscombe ; with an English translation by G.E.M. Anscombe ; index prepared by E.D. Klemke
出版情報: Chicago : University of Chicago Press, 1979
所蔵情報: loading…
45.

図書
図書
45. Computability and logic (: U.K. - : U.S., pbk)
Daniel E. Cohen
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Halsted Press [distributor], 1987
シリーズ名: Ellis Horwood series in mathematics and its applications
所蔵情報: loading…
46.

図書
図書
46. Logic, algebra, and databases (Halsted, lib. ed. - Ellis Horwood, stud. ed.)
Peter M.D. Gray
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Distributor, Halsted Press, 1984
シリーズ名: Ellis Horwood series in computers and their applications ; 29
所蔵情報: loading…
47.

図書
図書
47. Logics for artificial intelligence
Raymond Turner
出版情報: Chichester : E. Horwood, 1985, c1984
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
48.

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

図書
図書
49. A first course in formal logic and its applications in computer science
R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter
出版情報: Oxford ; Boston : Blackwell Scientific Publications, 1986
シリーズ名: Computer science texts / consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. Henson
所蔵情報: loading…
50.

図書
図書
50. A formalization of set theory without variables
by Alfred Tarski and Steven Givant
出版情報: Providence, R.I. : American Mathematical Society, c1987
シリーズ名: Colloquium publications / American Mathematical Society ; v. 41
所蔵情報: loading…
51.

図書
図書
51. 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…
52.

図書
図書
52. Symbolic logic and mechanical theorem proving
Chin-Liang Chang, Richard Char-Tung Lee
出版情報: New York : Academic Press, c1973
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
53.

図書
図書
53. Mathematical logic (: us ; : gw)
H.-D. Ebbinghaus, J. Flum, W. Thomas
出版情報: New York : Springer-Verlag, c1984
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
54.

図書
図書
54. Morality, decision, and social organization : toward a logic of ethics (: pbk)
Karl Menger
出版情報: Dordrecht : D. Reidel Pub. Co., c1974
シリーズ名: Vienna circle collection ; v. 6
所蔵情報: loading…
55.

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

図書
図書
56. Axiomatic theory of sets and classes
Murray Eisenberg
出版情報: New York : Holt, Rinehart and Winston, 1971
所蔵情報: loading…
57.

図書
図書
57. Logic in elementary mathematics
[by] Robert M. Exner [and] Myron F. Rosskopf
出版情報: New York : McGraw-Hill, 1959
所蔵情報: loading…
58.

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

図書
図書
59. Lectures on non-standard analysis
Moshé Machover, Joram Hirschfeld
出版情報: Berlin : Springer, 1969
シリーズ名: Lecture notes in mathematics ; 94
所蔵情報: loading…
60.

図書
図書
60. Set theory and its logic. Rev. ed
Willard Van Orman Quine
出版情報: Cambridge, Mass. : Belknap Press of Harvard University Press, c1969
所蔵情報: loading…
61.

図書
図書
61. A profile of mathematical logic
Howard Delong
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, [1970]
シリーズ名: Addison-Wesley series in mathematics / Eric Reissner, consulting editor
所蔵情報: loading…
62.

図書
図書
62. 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…
63.

図書
図書
63. The metaphysics of the Tractatus
Peter Carruthers
出版情報: Cambridge [England] ; New York : Cambridge University Press, 1990
所蔵情報: loading…
64.

図書
図書
64. The concept of logical consequence
John Etchemendy
出版情報: Cambridge, Mass. : Harvard University Press, 1990
所蔵情報: loading…
65.

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

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

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

図書
図書
68. Language in action : categories, lambdas and dynamic logic
Johan van Benthem
出版情報: Amsterdam ; New York : North-Holland , New York : Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc., 1991
シリーズ名: Studies in logic and the foundations of mathematics ; v. 130
所蔵情報: loading…
69.

図書
図書
69. Process algebra
J.C.M. Baeten, W.P. Weijland
出版情報: Cambridge ; New York : Cambridge University Press, 1990
シリーズ名: Cambridge tracts in theoretical computer science ; 18
所蔵情報: loading…
70.

図書
図書
70. Wittgenstein's early philosophy : three sides of the mirror
Donald Peterson
出版情報: New York ; London : Harvester Wheatsheaf, 1990
所蔵情報: loading…
71.

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

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

図書
図書
73. Tractatus logico-philosophicus : the German text of Ludwig Wittgenstein's Logisch-philosophische Abhandlung. 2nd ed.
with a new edition of the translation by D.F. Pears & B.F. McGuinness ; and with the introd. by Bertrand Russell
出版情報: London : Routledge and Kegan Paul, 1971, c1961
シリーズ名: International library of philosophy and scientific method / editor, Ted Honderich
所蔵情報: loading…
74.

図書
図書
74. Twelve papers on logic and algebra
by N.I. Felʹdman ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1966
シリーズ名: American Mathematical Society translations ; ser. 2, v. 59
所蔵情報: loading…
75.

図書
図書
75. Essays on Wittgenstein's Tractatus
edited by Irving M. Copi and Robert W. Beard
出版情報: London : Routledge & Kegan Paul, 1966
所蔵情報: loading…
76.

図書
図書
76. Logic for computer scientists (: us ; : gw)
Uwe Schöning
出版情報: Boston : Birkhäuser, 1989
シリーズ名: Progress in computer science and applied logic ; v. 8
所蔵情報: loading…
77.

図書
図書
77. Wittgenstein's Tractatus : an introduction (: pbk)
H.O. Mounce
出版情報: Oxford : B. Blackwell, 1981
所蔵情報: loading…
78.

図書
図書
78. Truth, deduction, and computation : logic and semantics for computer science
R.E. Davis
出版情報: New York : Computer Science Press, c1989
シリーズ名: Principles of computer science series
所蔵情報: loading…
79.

図書
図書
79. Logisch-philosophische Abhandlung = Tractatus logico-philosophicus. 1. Aufl. ; Kritische Ed. / herausgegeben von Brian McGuinness und Joachim Schulte
Ludwig Wittgenstein
出版情報: Frankfurt am Main : Suhrkamp, 1989
所蔵情報: loading…
80.

図書
図書
80. Essays on Wittgenstein's Tractatus
edited by Irving M. Copi and Robert W. Beard
出版情報: New York : Macmillan, 1967
所蔵情報: loading…
81.

図書
図書
81. Deductive reasoning
Zohar Manna, Richard Waldinger
出版情報: Reading, Mass. : Tokyo : Addison-Wesley, c1985
シリーズ名: Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 1
所蔵情報: loading…
82.

図書
図書
82. First-order logic and automated theorem proving (: us ; : gw)
Melvin Fitting
出版情報: New York : Springer-Verlag, c1990
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
83.

図書
図書
83. Computability, complexity, logic
E. Börger ; [translated into the English language and prepared for offset printing by J.C. Harvey]
出版情報: Amsterdam ; New York : North-Holland , New York : Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc., 1989
シリーズ名: Studies in logic and the foundations of mathematics ; v. 128
所蔵情報: loading…
84.

図書
図書
84. Mathematical logic for computer science
Lu Zhongwan
出版情報: Singapore ; Teaneck, N.J. : World Scientific, c1989
所蔵情報: loading…
85.

図書
図書
85. Computational aspects of an order-sorted logic with term declarations (: gw ; : us)
M. Schmidt-Schauß
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 395 . Lecture notes in artificial intelligence
所蔵情報: loading…
86.

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

図書
図書
87. A survey of symbolic logic
by C. I. Lewis
出版情報: New York : Dover Publications, 1960
シリーズ名: Dover books
所蔵情報: loading…
88.

図書
図書
88. Mathematical logic : a first course
[by] Joel W. Robbin
出版情報: New York : W. A. Benjamin, 1969
シリーズ名: University mathematics series
所蔵情報: loading…
89.

図書
図書
89. Introduction to elementary mathematical logic
Abram Aronovich Stolyar ; translation edited by Elliott Mendelson ; [translated by Scripta Technica, Inc.]
出版情報: Cambridge, Mass. : MIT Press, c1970
所蔵情報: loading…
90.

図書
図書
90. Introduction to mathematical logic
Elliott Mendelson
出版情報: New York : Van Nostrand, c1964
シリーズ名: The university series in undergraduate mathematics
所蔵情報: loading…
91.

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

図書
図書
92. The logical syntax of language
by Rudolf Carnap ; [translated by Amethe Smeaton (Countess von Zeppelin)]
出版情報: London : Routledge and Kegan Paul, 1937
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
93.

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

図書
図書
94. CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 385
所蔵情報: loading…
95.

図書
図書
95. 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…
96.

図書
図書
96. Frege and other philosophers
Michael Dummett
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1991
所蔵情報: loading…
97.

図書
図書
97. Set theory and the continuum hypothesis
Paul J. Cohen
出版情報: New York ; Amsterdam : Benjamin, 1966
所蔵情報: loading…
98.

図書
図書
98. Introductory real analysis
by M.E. Munroe
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, 1965
シリーズ名: Addison-Wesley series in mathematics / Eric Reissner, consulting editor
所蔵情報: loading…
99.

図書
図書
99. Philosophical grammar
Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny
出版情報: Berkeley : University of California Press, 1974
所蔵情報: 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
100.

図書
図書
100. Elements of mathematical logic
[by] P.S. Novikov ; Translated by Leo F. Boron ; With a preface and notes by R.L. Goodstein
出版情報: Edinburgh : Oliver & Boyd, c1964
所蔵情報: loading…