1.

図書
図書
1. Handbook of tableau methods
edited by Marcello D'Agostino ... [et al.]
出版情報: Dordrecht : Kluwer, 1999
所蔵情報: 図書館
2.

図書
図書
2. Critical approaches to science & philosophy (paper)
Mario Bunge editor, with a new introduction [by the editor]
出版情報: New Brunswick, NJ : Transaction Publishers, c1999
シリーズ名: Science and technology studies
所蔵情報: 図書館
3.

図書
図書
3. Propositional logic : deduction and algorithms
Hans Kleine Büning, Theodor Lettman
出版情報: Cambridge : Cambridge University Press, 1999
シリーズ名: Cambridge tracts in theoretical computer science ; 48
所蔵情報: 図書館
4.

電子ブック
ＥＢ
4. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil (ebook)
Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
出版情報: Providence, RI : American Mathematical Society, 1999
シリーズ名: Contemporary mathematics ; v. 235
オンライン: http://www.ams.org/conm/235/
http://dx.doi.org/10.1090/conm/235
5.

図書
図書
5. Descriptive complexity
Neil Immerman
出版情報: New York : Springer, c1999
シリーズ名: Graduate texts in computer science
所蔵情報: 図書館, 研究室
6.

図書
図書
6. Automated deduction : a basis for applications (set - v.3)
edited by Wolfgang Bibel and Peter H. Schmitt
出版情報: Dordrecht : Kluwer Academic, c1998
シリーズ名: Applied logic series ; v.8-10
所蔵情報: 図書館
7.

図書
図書
7. Solving higher-order equations : from logic to programming
Christian Prehofer
出版情報: Boston : Birkhäuser, c1998
シリーズ名: Progress in theoretical computer science
所蔵情報: 図書館
8.

図書
図書
8. Elements of logic via numbers and sets
D. L. Johnson
出版情報: Berlin : Springer, c1998
シリーズ名: Springer undergraduate mathematics series
所蔵情報: 研究室
9.

図書
図書
9. Handbook of logic in artificial intelligence and logic programming
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993-1998
10.

図書
図書
10. Mathematical logic for computer science. 2nd ed
Lu Zhongwan
出版情報: Singapore : World Scientific, c1998
シリーズ名: Series in computer science ; v. 47
所蔵情報: 研究室
11.

図書
図書
11. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1261
所蔵情報: 図書館
12.

図書
図書
12. Diamond : a paradox logic
by N.S. Hellerstein
出版情報: Singapore : World Scientific, c1997
シリーズ名: Series on knots and everything ; v. 14
所蔵情報: 研究室
13.

図書
図書
13. Handbook of logic and language (: Elsevier ; : MIT Press)
edited by Johan van Benthem, Alice ter Meulen
出版情報: Amsterdam : Elsevier , Cambridge, Mass. : MIT Press, 1997
所蔵情報: 図書館
14.

図書
図書
14. Modal logic
Alexander Chagrov and Michael Zakharyaschev
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997
シリーズ名: Oxford logic guides ; 35
所蔵情報: 図書館
15.

図書
図書
15. The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
edited by Stewart Shapiro
出版情報: Aldershot, Hants ; Brookfield, Vt. : Dartmouth, c1996
シリーズ名: The International research library of philosophy ; 18 . The philosophy of logic, language and mind
所蔵情報: 研究室
16.

図書
図書
16. Chapter zero : fundamental notions of abstract mathematics
Carol Schumacher
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1996
シリーズ名: Addison-Wesley higher mathematics
所蔵情報: 研究室
17.

図書
図書
17. Logical frameworks for truth and abstraction : an axiomatic study
Andrea Cantini
出版情報: Amsterdam ; Tokyo : Elsevier Science B.V., 1996
シリーズ名: Studies in logic and the foundations of mathematics ; v. 135
所蔵情報: 図書館
18.

図書
図書
18. Set theory, logic, and their limitations (pbk.)
Moshé Machover
出版情報: New York : Cambridge University Press, 1996
所蔵情報: 図書館
19.

図書
図書
19. Introduction to mathematical structures and proofs (: Springer ; : Jones and Bartlett)
Larry J. Gerstein
出版情報: New York : Springer , Sudbury, MA : Jones and Bartlett Publishers, 1996
シリーズ名: Textbooks in mathematical sciences
所蔵情報: 図書館
20.

図書
図書
20. Automated deduction in equational logic and cubic curves
W. McCune, R. Padmanabhan
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1095 . Lecture notes in artificial intelligence
所蔵情報: 図書館
21.

図書
図書
21. Closure spaces and logic (: hb)
by Norman M. Martin and Stephen Pollard
出版情報: Dordrecht : Kluwer, c1996
シリーズ名: Mathematics and its applications ; v. 369
所蔵情報: 図書館
22.

図書
図書
22. 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
所蔵情報: 図書館
23.

図書
図書
23. Frege's philosophy of mathematics
edited by William Demopoulos
出版情報: Cambridge, Mass. : Harvard University Press, 1995
所蔵情報: 研究室
24.

図書
図書
24. The logic of partial information (: Berlin ; : New York)
Areski Nait Abdallah
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: 図書館
25.

図書
図書
25. Meta-logics and logic programming
edited by Krzysztof R. Apt and Franco Turini
出版情報: Cambridge, Mass. : MIT Press, c1995
シリーズ名: Logic programming
所蔵情報: 図書館
26.

図書
図書
26. Epistemic logic for AI and computer science (hardback)
J.-J. Ch. Meyer and W. van der Hoek
出版情報: Cambridge ; New York : Cambridge University Press, c1995
シリーズ名: Cambridge tracts in theoretical computer science ; 41
所蔵情報: 図書館
27.

図書
図書
27. Foundations of logic : 1903-05
Bertrand Russell ; edited by Alasdair Urquhart with the assistance of Albert C. Lewis
出版情報: London ; New York : Routledge, 1994
シリーズ名: The collected papers of Bertrand Russell / general editor, John Passmore ; v. 4
所蔵情報: 図書館
28.

図書
図書
28. Deduction methodologies
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2
所蔵情報: 図書館
29.

図書
図書
29. Nonmonotonic reasoning and uncertain reasoning
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 3
所蔵情報: 図書館
30.

図書
図書
30. Finite automata, formal logic, and circuit complexity (: us ; : sz)
Howard Straubing
出版情報: Boston : Birkhäuser, 1994
シリーズ名: Progress in theoretical computer science
所蔵情報: 図書館
31.

図書
図書
31. Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us)
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence
所蔵情報: 図書館
32.

図書
図書
32. Temporal logic : mathematical foundations and computational aspects (v. 1 ; v. 2)
Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
出版情報: Oxford ; New York : Clarendon Press , New York : Oxford University Press, 1994-
シリーズ名: Oxford logic guides ; 28, 40
所蔵情報: 図書館
33.

図書
図書
33. What is a logical system?
edited by D.M. Gabbay
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1994
シリーズ名: Studies in logic and computation ; 4
所蔵情報: 図書館
34.

図書
図書
34. Logical methods : in honor of Anil Nerode's sixtieth birthday (: us ; : sz)
John N. Crossley ... [et al.], editors
出版情報: Boston : Birkhäuser, 1993
シリーズ名: Progress in computer science and applied logic ; v. 12
所蔵情報: 図書館
35.

図書
図書
35. Logic and algebra of specification (: us ; : gw)
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: NATO ASI series ; ser. F . Computer and system sciences ; v. 94
所蔵情報: 図書館
36.

図書
図書
36. 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
所蔵情報: 図書館
37.

図書
図書
37. Mathematical logic for computer science (: pbk)
M. Ben-Ari
出版情報: New York : Prentice Hall, 1993
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: 図書館
38.

図書
図書
38. Logical foundations
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 1
所蔵情報: 図書館
39.

図書
図書
39. Bertrand Russell and the origins of the set-theoretic 'paradoxes' (: us ; : sz)
Alejandro R. Garciadiego
出版情報: Basel ; Boston : Birkhäuser Verlag, c1992
所蔵情報: 研究室
40.

図書
図書
40. The temporal logic of reactive and concurrent systems ([v. 1], Specification : us ; [v. 1], Specification : gw)
Zohar Manna, Amir Pnueli
出版情報: New York ; Tokyo : Springer-Verlag, c1992-
所蔵情報: 図書館
41.

図書
図書
41. Background : computational structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 2
所蔵情報: 図書館
42.

図書
図書
42. Background : mathematical structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 1
所蔵情報: 図書館
43.

図書
図書
43. 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
所蔵情報: 図書館
44.

図書
図書
44. 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
所蔵情報: 図書館
45.

図書
図書
45. A resolution principle for a logic with restricted quantifiers (: gw ; : us)
H.-J. Bürckert
出版情報: Berlin ; New York : Springer Verlag, c1991
シリーズ名: Lecture notes in computer science ; 568 . Lecture notes in artificial intelligence
所蔵情報: 図書館
46.

図書
図書
46. Logic of domains (: Boston ; : Basel)
Guo-Qiang Zhang
出版情報: Boston : Birkhäuser, 1991
シリーズ名: Progress in theoretical computer science
所蔵情報: 図書館
47.

図書
図書
47. Logic for information technology (: pbk.)
Antony Galton
出版情報: Chichester : Wiley, c1990
所蔵情報: 図書館
48.

図書
図書
48. The concept of logical consequence
John Etchemendy
出版情報: Cambridge, Mass. : Harvard University Press, 1990
所蔵情報: 図書館
49.

図書
図書
49. Process algebra
J.C.M. Baeten, W.P. Weijland
出版情報: Cambridge ; New York : Cambridge University Press, 1990
シリーズ名: Cambridge tracts in theoretical computer science ; 18
所蔵情報: 図書館, 研究室
50.

図書
図書
50. Clausal form logic : an introduction to the logic of computer reasoning
Tom Richards
出版情報: Sydney ; Reading, Mass. : Addison-Wesley Pub. Co., c1989
シリーズ名: International computer science series
所蔵情報: 図書館
51.

図書
図書
51. 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
所蔵情報: 図書館
52.

図書
図書
52. 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
所蔵情報: 図書館
53.

図書
図書
53. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings (: gw ; : us)
B. Banieqbal, H. Barringer, A. Pnueli (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 398
所蔵情報: 図書館
54.

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

図書
図書
55. Quantum probability--quantum logic (: gw ; : us)
Itamar Pitowsky
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in physics ; 321
所蔵情報: 研究室
56.

図書
図書
56. Mathematical intuitionism : introduction to proof theory
A.G. Dragalin
出版情報: Providence, R.I. : American Mathematical Society, c1988
シリーズ名: Translations of mathematical monographs ; v. 67
所蔵情報: 図書館
57.

図書
図書
57. Reasoning with incomplete information (uk. ; us.)
David W. Etherington
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1988
シリーズ名: Research notes in artificial intelligence
所蔵情報: 図書館
58.

図書
図書
58. PX, a computational logic
Susumu Hayashi, Hiroshi Nakano
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: 図書館
59.

電子ブック
ＥＢ
59. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 (ebook)
Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
出版情報: Providence, R.I. : American Mathematical Society, c1988
シリーズ名: Contemporary mathematics ; v. 069
オンライン: http://www.ams.org/conm/069/
http://dx.doi.org/10.1090/conm/069
60.

図書
図書
60. Mathematical logic and theoretical computer science
edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
出版情報: New York : M. Dekker, c1987
シリーズ名: Lecture notes in pure and applied mathematics ; v. 106
所蔵情報: 図書館
61.

図書
図書
61. 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
所蔵情報: 図書館
62.

図書
図書
62. Temporal logic of programs
Fred Kröger
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: EATCS monographs on theoretical computer science ; v. 8
所蔵情報: 図書館
63.

電子ブック
ＥＢ
63. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 (ebook)
Stephen G. Simpson, editor.
出版情報: Providence, R.I. : American Mathematical Society, c1987
シリーズ名: Contemporary mathematics ; v. 065
オンライン: http://www.ams.org/conm/065/
http://dx.doi.org/10.1090/conm/065
64.

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

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

図書
図書
66. Studies in logic
by members of the Johns Hopkins University (1883) ; edited by Charles S. Peirce ; with an introduction by Max H. Fisch and a preface by Achim Eschbach
出版情報: Amsterdam : John Benjamins, 1983
シリーズ名: Foundations of semiotics ; v. 1
所蔵情報: 図書館
67.

図書
図書
67. Introduction to elementary mathematical logic (pbk.)
Abram Aronovich Stolyar
出版情報: New York : Dover Publications, 1983, c1970
所蔵情報: 図書館
68.

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

図書
図書
69. 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
所蔵情報: 図書館
70.

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

図書
図書
71. Mathematical logic
J. Donald Monk
出版情報: New York : Springer-Verlag, 1976
シリーズ名: Graduate texts in mathematics ; 37
所蔵情報: 図書館, 研究室
72.

図書
図書
72. 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
所蔵情報: 研究室
73.

図書
図書
73. Philosophical grammar (: pbk.)
Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny
出版情報: Oxford, [England] : Blackwell, [1974]
所蔵情報: 図書館
74.

図書
図書
74. Non-standard analysis. Rev. ed (series ; ne ; us)
Abraham Robinson
出版情報: Amsterdam : North-Holland , New York : American Elsevier, 1974
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館
75.

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

図書
図書
76. 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
所蔵情報: 図書館
77.

図書
図書
77. A mathematical introduction to logic
Herbert B. Enderton
出版情報: Orlando ; Tokyo : Academic Press, c1972
所蔵情報: 図書館
78.

図書
図書
78. Five papers on logic and foundations
by G.S. Ceĭtin ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1972
シリーズ名: American Mathematical Society translations ; ser. 2, v. 99
所蔵情報: 図書館
79.

図書
図書
79. 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
Tokyo University international edition ; no. 65
所蔵情報: 図書館
80.

図書
図書
80. 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
所蔵情報: 図書館
81.

図書
図書
81. Eleven papers on logic, algebra, analysis and topology
by B.M. Budak ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1971
シリーズ名: American Mathematical Society translations ; ser. 2, v. 97
所蔵情報: 図書館
82.

図書
図書
82. Selected works, Jan Lukasiewicz
edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
出版情報: Amsterdam ; London : North-Holland, 1970
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館
83.

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

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

図書
図書
85. Eighteen papers on logic and theory of functions
I.S. Aršon ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1969
シリーズ名: American Mathematical Society translations ; ser. 2, v. 83
所蔵情報: 図書館
86.

図書
図書
86. An introduction to analysis
[by] Wilson M. Zaring
出版情報: New York : Macmillan, c1967
所蔵情報: 図書館
87.

図書
図書
87. Past, present and future
by Arthur Prior
出版情報: Oxford ; Tokyo : Clarendon Press, c1967
所蔵情報: 図書館
88.

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

図書
図書
89. Nine papers on logic and group theory
by S.D. Berman ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1967
シリーズ名: American Mathematical Society translations ; ser. 2, v. 64
所蔵情報: 図書館
90.

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

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

図書
図書
92. 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
所蔵情報: 図書館
93.

図書
図書
93. Fourteen papers on logic, algebra, complex variables and topology
by L.M. Abramov ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1965
シリーズ名: American Mathematical Society translations ; ser. 2, v. 48
所蔵情報: 図書館
94.

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

図書
図書
95. The axiomatic method : an introduction to mathematical logic
A. H. Lightstone
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1964
所蔵情報: 図書館
96.

図書
図書
96. Quantification theory
by J. A. Faris
出版情報: London : Routledge & K. Paul, 1964
シリーズ名: Monographs in modern logic
所蔵情報: 図書館
97.

図書
図書
97. Set theory and its logic
[by] Willard Van Orman Quine
出版情報: Cambridge : Belknap Press of Harvard University Press, 1963
所蔵情報: 図書館
98.

図書
図書
98. The logic design of transistor digital computers
Gerald A. Maley, John Earle
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, 1963
シリーズ名: Prentice-Hall international series in electrical engineering
所蔵情報: 図書館
99.

図書
図書
99. Set theory and logic
by Robert R. Stoll
出版情報: San Francisco : W. H. Freeman, c1963
シリーズ名: Series of undergraduate books in mathematics
所蔵情報: 図書館
100.

図書
図書
100. Principia mathematica to *56. Pbk. ed (: pbk)
by Alfred North Whitehead and Bertrand Russell
出版情報: Cambridge : Cambridge University Press, 1962
所蔵情報: 図書館