1.

図書
図書
1. Toward "Principia mathematica", 1905-08
Bertrand Russell ; edited by Gregory H. Moore
出版情報: London : Routledge, 2014
シリーズ名: The collected papers of Bertrand Russell / general editor, John Passmore ; v. 5
所蔵情報: loading…
2.

図書
図書
2. Discrete mathematics and its applications. 7th ed., Global ed / adapted by Kamala Krithivasan
Kenneth H. Rosen
出版情報: New York : McGraw-Hill, c2013
所蔵情報: loading…
3.

図書
図書
3. Studies in logic and probability
George Boole
出版情報: Mineola, N.Y. : Dover, 2012
所蔵情報: loading…
4.

図書
図書
4. Scientific philosophy
Gustavo E. Romero
出版情報: Cham : Springer, c2018
所蔵情報: loading…
5.

図書
図書
5. Purity, spectra and Localisation
Mike Prest
出版情報: Cambridge, UK : Cambridge University Press, 2009
シリーズ名: Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 121
所蔵情報: loading…
6.

図書
図書
6. An introduction to Gödel's Theorems
Peter Smith
出版情報: Cambridge, UK : Cambridge University Press, 2007
シリーズ名: Cambridge introductions to philosophy
所蔵情報: loading…
7.

図書
図書
7. Computability and logic. 5th ed
George S. Boolos, John P. Burgess, Richard C. Jeffrey
出版情報: Cambridge : Cambridge University Press, 2007
所蔵情報: loading…
8.

図書
図書
8. A course in mathematical logic for mathematicians. 2nd ed. / chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Yu.I. Manin
出版情報: New York : Springer, c2010
シリーズ名: Graduate texts in mathematics ; 53
所蔵情報: loading…
9.

図書
図書
9. Fundamentals of mathematical logic
Peter G. Hinman
出版情報: Wellesley, Mass. : A.K. Peters, c2005
所蔵情報: loading…
10.

図書
図書
10. The foundations of mathematics
Kenneth Kunen
出版情報: London : College Publications, c2009
シリーズ名: Studies in logic / series editor, Dov Gabbay ; v. 19 . Mathematical logic and foundations
所蔵情報: loading…
11.

図書
図書
11. Handbook of logic and language. 2nd ed
Johan van Benthem, Alice ter Meulen
出版情報: London : Elsevier, 2011
シリーズ名: Elsevier insights
所蔵情報: loading…
12.

図書
図書
12. Post-analytic Tractatus
edited by Barry Stocker
出版情報: Aldershot : Ashgate, c2004
所蔵情報: loading…
13.

図書
図書
13. A mathematical introduction to logic. 2nd ed
Herbert B. Enderton
出版情報: San Diego : Harcourt/Academic Press, c2001
所蔵情報: loading…
14.

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

図書
図書
15. Logic and structure. 4th ed
Dirk van Dalen
出版情報: Berlin : Springer, c2004
シリーズ名: Universitext
所蔵情報: loading…
16.

図書
図書
16. Logical forms : an introduction to philosophical logic. 2nd ed
Mark Sainsbury
出版情報: Oxford, UK : Blackwell Publishers, 2001
所蔵情報: loading…
17.

図書
図書
17. Papers in philosophical logic
David Lewis
出版情報: Cambridge ; New York : Cambridge University Press, 1998
シリーズ名: Cambridge studies in philosophy / general editor, Ernest Sosa
所蔵情報: loading…
18.

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

図書
図書
19. Mathematico-deductive theory of rote learning : a study in scientific methodology
by Clark L. Hull ... [et al.]
出版情報: New Haven : Yale University Press , London : Oxford University Press, 1940
所蔵情報: loading…
20.

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

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

図書
図書
22. Intermediate logic
David Bostock
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997
所蔵情報: loading…
23.

図書
図書
23. 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
所蔵情報: loading…
24.

図書
図書
24. An introduction to Wittgenstein's Tractatus. 1st Pennsylvania paperback ed
G.E.M. Anscombe
出版情報: Philadelphia, Pa : University of Pennsylvania Press, 1971
所蔵情報: loading…
25.

図書
図書
25. Word and object
Willard Van Orman Quine
出版情報: Cambridge, Mass. : M. I. T. Press, c1960
所蔵情報: loading…
26.

図書
図書
26. Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox
edited, with annotations and an introd., by William Warren Bartley, III
出版情報: New York : C.N. Potter : distributed by Crown Publishers, c1977
所蔵情報: loading…
27.

図書
図書
27. Wittgenstein's saying and showing themes. 1. Aufl
[by] Donald W. Harward
出版情報: Bonn : Bouvier, 1976
シリーズ名: Abhandlungen zur Philosophie, Psychologie und Pädagogik ; Bd. 109
所蔵情報: loading…
28.

図書
図書
28. An introduction to Hilbert space and quantum logic
David W. Cohen
出版情報: New York ; Tokyo : Springer-Verlag, c1989
シリーズ名: Problem books in mathematics / edited by K. Bencsáth and P.R. Halmos
所蔵情報: loading…
29.

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

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

図書
図書
31. Computing and logic : mathematics and language
Glenn Satty, Thomas J. Blakeley, James G. Colbert
出版情報: München ; Wien : Philosophia Verlag, c1988
シリーズ名: Introductiones : contributions to philosophical analysis
所蔵情報: loading…
32.

図書
図書
32. 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
所蔵情報: loading…
33.

図書
図書
33. 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
所蔵情報: loading…
34.

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

図書
図書
35. 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
所蔵情報: loading…
36.

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

図書
図書
37. Saying and showing : an introduction to Wittgenstein's 'Tractatus logico-philosophicus'
prepared by G.H.R. Parkinson ; for the [Open University] course team
出版情報: Milton Keynes : Open University Press, 1976
シリーズ名: Arts, a fourth level course : Great Britain, 1750-1950 ; thought and reality, central themes in Wittgenstein's philosophy : units 7-10
所蔵情報: loading…
38.

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

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

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

図書
図書
41. 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…
42.

図書
図書
42. Selfconsciousness and selfreference : an interpretation of Wittgenstein's Tractatus
B.A. Worthington
出版情報: Aldershot, Hants, England : Avebury, c1988
シリーズ名: Avebury series in philosophy
所蔵情報: loading…
43.

図書
図書
43. Transcendence and Wittgenstein's Tractatus
Michael P. Hodges
出版情報: Philadelphia : Temple University Press, 1990
所蔵情報: loading…
44.

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

図書
図書
45. Foundations without foundationalism : a case for second-order logic
Stewart Shapiro
出版情報: Oxford : Clarendon Press , New York ; Tokyo : Oxford University Press, 1991
シリーズ名: Oxford logic guides ; 17
所蔵情報: loading…
46.

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

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

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

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

図書
図書
50. 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
所蔵情報: loading…
51.

図書
図書
51. Mathematical logic. 2nd ed
H.-D. Ebbinghaus, J. Flum, W. Thomas
出版情報: New York ; Tokyo : Springer-Verlag, c1994
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
52.

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

図書
図書
53. 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
所蔵情報: loading…
54.

図書
図書
54. The algebraic theory of switching circuits. [1st English ed.]
by Gr. C. Moisil
出版情報: Oxford ; New York : Pergamon Press, [1969]
シリーズ名: International series of monographs on pure and applied mathematics ; v. 41
所蔵情報: loading…
55.

図書
図書
55. Wittgenstein's Tractatus : an introduction
H.O. Mounce
出版情報: Oxford : B. Blackwell, 1981
所蔵情報: loading…
56.

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

図書
図書
57. Induction and analogy in mathematics
by G. Polya
出版情報: Princeton : Princeton University Press, 1954
シリーズ名: Mathematics and plausible reasoning ; v. 1
所蔵情報: loading…
58.

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

図書
図書
59. Logical foundations of mathematics for behavioral scientists
Abraham S. Luchins, Edith H. Luchins
出版情報: New York : Holt, Rinehart & Winston, c1965
所蔵情報: loading…
60.

図書
図書
60. 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 introduction by Bertrand Russell
出版情報: London : Routledge and Kegan Paul, 1971, c1961
シリーズ名: International library of philosophy and scientific method
所蔵情報: loading…
61.

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

図書
図書
62. Collected works
Stanisław Leśniewski ; edited by Stanisław J. Surma, Jan T. Srzednicki, and D.I. Barnett ; with an annotated bibliography by V. Frederick Rickey
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers , Warszawa : PWN-Polish Scientific Publishers, c1992
シリーズ名: Nijhoff international philosophy series ; v. 44
所蔵情報: loading…
63.

図書
図書
63. La reconstruction d'une relation dans l'hypothèse forte : isomorphie des restrictions à chaque partie stricte de la base
Roland Fraïssé, Gérard Lopez
出版情報: Montréal : Presses de l'Université de Montréal, 1990
シリーズ名: Séminaire de mathématiques supérieures ; 109
所蔵情報: loading…
64.

図書
図書
64. Word and object
Willard Van Orman Quine
出版情報: Cambridge, Mass : Technology Press of the Massachusetts Institute of Technology, [1960]
シリーズ名: Studies in communication
所蔵情報: loading…
65.

図書
図書
65. 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
66.

図書
図書
66. Philosophical remarks
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…
67.

図書
図書
67. Philosophical grammar
Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny
出版情報: Oxford, [England] : Blackwell, [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
68.

図書
図書
68. Tractatus logico-philosophicus. [Revised ed.]
Ludwig Wittgenstein ; translated [from the German] by D. F. Pears & B. F. McGuinness ; with the introduction by Bertrand Russell
出版情報: London : Routledge and Kegan Paul, 1974 [i.e. 1975]
所蔵情報: loading…
69.

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

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

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

図書
図書
72. 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
73.

図書
図書
73. Gottlob Freges Briefwechsel : mit D. Hilbert, E. Husserl, B. Russell, sowie ausgewählte Einzelbriefe Freges
mit Einleitungen, Anmerkungen und Register hrsg. von Gottfried Gabriel, Friedrich Kambartel, Christian Thiel
出版情報: Hamburg : F. Meiner, c1980
シリーズ名: Philosophische Bibliothek ; Bd. 321
所蔵情報: loading…
74.

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

図書
図書
75. Logische Syntax der Sprache. 2. unveränderte Aufl.
von Rudolf Carnap
出版情報: Wien : Springer-Verlag, 1968
所蔵情報: loading…
76.

図書
図書
76. Wittgenstein's Tractatus and the modern arts. 1st ed
by Jorn K. Bramann
出版情報: Rochester, N.Y. : Adler Pub. Co., c1985
所蔵情報: loading…
77.

図書
図書
77. Normative systems
[by] Carlos E. Alchourrón and Eugenio Bulygin
出版情報: New York ; Wien : Springer-Verlag, 1971
シリーズ名: Library of exact philosophy ; 5
所蔵情報: loading…
78.

図書
図書
78. Wittgenstein's saying and showing themes. 1. Aufl
[by] Donald W. Harward
出版情報: ( : In-house reproduction)
シリーズ名: Abhandlungen zur Philosophie, Psychologie und Pädagogik ; Bd. 109
所蔵情報: loading…
79.

図書
図書
79. Justification logic : reasoning with reasons
Sergei Artemov, Melvin Fitting
出版情報: Cambridge : Cambridge University Press, 2019
シリーズ名: Cambridge tracts in mathematics ; 216
所蔵情報: loading…
80.

図書
図書
80. David Hilbert's lectures on the foundations of arithmetic and logic
William Ewald, Wilfried Sieg, editors ; Michael Hallett, associate editor ; in collaboration with Ulrich Majer and Dirk Schlimm
出版情報: Heidelberg : Springer, c2013
シリーズ名: David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933 ; v. 3
所蔵情報: loading…
81.

図書
図書
81. Philosophy of mathematics and deductive structure in Euclid's Elements
Ian Mueller
出版情報: New York : Dover Publications, 2006
シリーズ名: Dover books on mathematics
所蔵情報: loading…
82.

図書
図書
82. Logic and complexity
Richard Lassaigne and Michel de Rougemont
出版情報: London : Springer, c2004
シリーズ名: Discrete mathematics and theoretical computer science
所蔵情報: loading…
83.

図書
図書
83. Computability and logic. 4th ed
George S. Boolos, John P. Burgess, Richard C. Jeffrey
出版情報: Cambridge : Cambridge University Press, 2002
所蔵情報: loading…
84.

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

図書
図書
85. Recursion theory, Gödel's theorems, set theory, model theory
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…
86.

図書
図書
86. Das Beschreiben : eine logische Untersuchung zur positivistischen Methodenlehre
Agnes Hochstetter-Preyer
出版情報: Hildesheim ; New York : Olms, 1981
シリーズ名: Abhandlungen zur Philosophie und ihrer Geschichte ; Heft 49
所蔵情報: loading…
87.

図書
図書
87. Mathematical Logic
by Joseph R. Shoenfield
出版情報: Urbana, Ill. : Association for Symbolic Logic , Natick, Mass. : A.K. Peters, c1967
所蔵情報: loading…
88.

図書
図書
88. The best of all possible worlds : mathematics and destiny
Ivar Ekeland
出版情報: Chicago, Ill. : University of Chicago Press, 2007, c2006
所蔵情報: loading…
89.

図書
図書
89. A natural history of negation
Laurence R. Horn
出版情報: Stanford, Calif. : CLSI Publications, c2001
シリーズ名: The David Hume series, philosophy and cognitive science reissues
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
Douglas E. Ensley, J. Winston Crawley
出版情報: Hoboken, N.J. : John Wiley & Sons, c2006
オンライン: https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000065377
91.

電子ブック
ＥＢ
91. A first course in mathematical logic and set theory
Michael L. O'Leary
出版情報: Hoboken, N.J. : Wiley, c2016
オンライン: https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000110875