close
1.

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

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

図書
図書
3. First course in mathematical logic. [1st ed.]
[by] Patrick Suppes and Shirley Hill
出版情報: New York : Blaisdell Pub. Co, [1964]
シリーズ名: A Blaisdell book in the pure and applied sciences
所蔵情報: loading…
4.

図書
図書
4. An introduction to modern mathematics
Albert Monjallon ; translated by Peter Fantham
出版情報: Edinburgh ; London : Oliver & Boyd, 1967
シリーズ名: University mathematical texts ; 34
所蔵情報: loading…
5.

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

図書
図書
6. Digital logic and switching circuits : operation and analysis
Jefferson C. Boyce
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1975
所蔵情報: loading…
7.

図書
図書
7. Contemporary consolidation (: [cloth] ; : pbk.)
edited by C. A. Hooker
出版情報: Dordrecht ; Boston : D. Reidel Pub. Co., c1979
シリーズ名: The University of Western Ontario series in philosophy of science ; v. 5 . The logico-algebraic approach to quantum mechanics ; v. 2
所蔵情報: loading…
8.

図書
図書
8. Tractatus logico-philosophicus. [Repr. ed.]
by Ludwig Wittgenstein ; with an introduction by Bertrand Russell
出版情報: London : Routledge & Kegan Paul, 1955
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
9.

図書
図書
9. Logic programming
edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press, 1998
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 5
所蔵情報: loading…
10.

図書
図書
10. The anatomy of mathematics
by R.B. Kershner [and] L.R. Wilcox
出版情報: New York : Ronald Press, [1950]
所蔵情報: loading…
11.

図書
図書
11. Conceptual models in mathematics : sets, logic and probability (: pbk)
K.E. Hirst [and] F. Rhodes
出版情報: London : Allen and Unwin, 1971
シリーズ名: Mathematical studies ; no. 5
所蔵情報: loading…
12.

図書
図書
12. Optimization and computational logic
Ken McAloon, Carol Tretkoff
出版情報: New York : Wiley, c1996
シリーズ名: Wiley-Interscience series in discrete mathematics and optimization
所蔵情報: loading…
13.

図書
図書
13. The nature of mathematics : a critical survey
by Max Black
出版情報: London : Routledge, 1933
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
14.

図書
図書
14. Logic : techniques of formal reasoning
Donald Kalish, Richard Montague
出版情報: New York : Harcourt, Brace & World, c1964
所蔵情報: loading…
15.

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

図書
図書
16. Discrete structures, logic, and computability
James L. Hein
出版情報: Boston : Jones and Bartlett, c1995
所蔵情報: loading…
17.

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

図書
図書
18. 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…
19.

図書
図書
19. Foundations of computing : system development with set theory and logic
Thierry Scheurer
出版情報: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994
シリーズ名: International computer science series
所蔵情報: loading…
20.

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

図書
図書
21. Intermediate logic (: hbk ; : pbk)
David Bostock
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997
所蔵情報: loading…
22.

図書
図書
22. Logic and arithmetic
David Bostock
出版情報: Oxford : Clarendon Press, 1974-1979
所蔵情報: loading…
23.

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

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

図書
図書
25. Logics without existence assumptions
Rolf Schock
出版情報: Stockholm : Almqvist & Wiksell, [c1968]
所蔵情報: loading…
26.

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

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

図書
図書
28. Meaning and existence in mathematics (au ; us)
Charles Castonguay
出版情報: Wien ; New York : Springer-Verlag, 1972
シリーズ名: Library of exact philosophy ; 9
所蔵情報: loading…
29.

図書
図書
29. Fuzzy logic in knowledge engineering (: pbk.)
edited by Henri Prade and Constantin V. Negoita
出版情報: Köln : TÜV Rheinland, c1986
シリーズ名: Interdisciplinary systems research ; 86
所蔵情報: loading…
30.

図書
図書
30. 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
31.

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

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

図書
図書
33. Mass terms and model-theoretic semantics (pbk)
Harry C. Bunt
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985
シリーズ名: Cambridge studies in linguistics ; 42
所蔵情報: loading…
34.

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

図書
図書
35. The logic of inconsistency : a study in non-standard possible-world semantics and ontology
Nicholas Rescher and Robert Brandom
出版情報: Totowa, N.J. : Rowman and Littlefield, c1979
シリーズ名: APQ library of philosophy
所蔵情報: loading…
36.

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

図書
図書
37. Two Soviet studies on Frege
B.V. Birjukov ; translated and edited by Ignacio Angelelli
出版情報: Dordrecht-Holland : D. Reidel, c1964
シリーズ名: Sovietica
所蔵情報: loading…
38.

図書
図書
38. The logical syntax of language
by Rudolf Carnap ; [translated by Amethe Smeaton]
出版情報: London : Routledge & K. Paul, 1937
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
39.

図書
図書
39. Meaning and necessity : a study in semantics and modal logic. 2nd ed
by Rudolf Carnap
出版情報: Chicago ; London : University of Chicago Press, 1958, c1956
シリーズ名: Phoenix books ; P30
所蔵情報: loading…
40.

図書
図書
40. Mathematical foundations of programming
Frank S. Beckman
出版情報: Reading, MA : Addison-Wesley, c1980
シリーズ名: The systems programming series
所蔵情報: loading…
41.

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

図書
図書
42. Gödel, Escher, Bach : an eternal golden braid
Douglas R. Hofstadter
出版情報: Harmondsworth : Penguin, 1980
所蔵情報: loading…
43.

図書
図書
43. Reasoning from incomplete knowledge in a procedural deduction system
Robert C. Moore
出版情報: New York : Garland Pub., 1980
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…
44.

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

図書
図書
45. Word and object (: pbk)
Willard Van Orman Quine
出版情報: Cambridge, Mass. : M.I.T. Press, 1964, c1960
シリーズ名: The M.I.T. Press paperback series ; 4
所蔵情報: loading…
46.

図書
図書
46. Lectures on the logic of computer programming
Zohar Manna
出版情報: Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980
シリーズ名: CBMS-NSF regional conference series in applied mathematics ; 31
所蔵情報: loading…
47.

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

図書
図書
48. Computability and logic
[by] George Boolos [and] Richard Jeffrey
出版情報: Cambridge : Cambridge University Press, c1974
所蔵情報: loading…
49.

図書
図書
49. Advanced logic for applications
Richard E. Grandy
出版情報: Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1977
シリーズ名: Synthese library ; v. 110
所蔵情報: loading…
50.

図書
図書
50. A computational logic handbook
Robert S. Boyer, J. Strother Moore
出版情報: Boston ; Tokyo : Academic Press, c1988
シリーズ名: Perspectives in computing ; v. 23
所蔵情報: loading…
51.

図書
図書
51. Introduction to mathematical logic. 2nd ed
Elliott Mendelson
出版情報: New York : Van Nostrand, c1979
所蔵情報: loading…
52.

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

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

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

図書
図書
55. Mathematical logic with special reference to the natural numbers (: hardback ; : paperback)
[by] S.W.P. Steen
出版情報: Cambridge [Eng.] ; New York : Cambridge University Press, 1972
所蔵情報: loading…
56.

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

図書
図書
57. Methodisches Denken
Paul Lorenzen
出版情報: Frankfurt am Main : Suhrkamp, 1968
シリーズ名: Theorie ; 2
所蔵情報: loading…
58.

図書
図書
58. 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…
59.

図書
図書
59. Ontology and the logistic analysis of language : an enquiry into the contemporary views on universals. Rev. ed
Guido Küng ; [translated by E. C. M. Mays, and revised by the author]
出版情報: Dordrecht : D. Reidel, 1967
シリーズ名: Synthese library
所蔵情報: loading…
60.

図書
図書
60. What is mathematical logic ?
J.N. Crossley ... [et al.]
出版情報: London : Oxford University Press, 1972
所蔵情報: loading…
61.

図書
図書
61. Constructive order types
[By] John N. Crossley
出版情報: Amsterdam ; London : North-Holland Pub. Co., 1969
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
62.

図書
図書
62. Intensional and higher-order modal logic : with applications to Montague semantics (: us ; : ne)
Daniel Gallin
出版情報: Amsterdam : North Holland Pub. Co. , New York : American Elsevier Pub. Co., 1975
シリーズ名: North-Holland mathematics studies ; 19
所蔵情報: loading…
63.

図書
図書
63. Essays on Frege (: hbk ; : pbk)
edited by E.D. Klemke
出版情報: Urbana : University of Illinois Press, 1968
所蔵情報: loading…
64.

図書
図書
64. Symbolic logic and the real number system : an introduction to the foundations of number systems
A.H. Lightstone
出版情報: New York : Harper & Row, c1965
シリーズ名: Harper's series in modern mathematics
所蔵情報: loading…
65.

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

図書
図書
66. Logic-based decision support : mixed integer model formulation
Robert G. Jeroslow
出版情報: Amsterdam ; Tokyo : North-Holland, 1989
シリーズ名: Annals of discrete mathematics ; 40
所蔵情報: loading…
67.

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

図書
図書
68. 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…
69.

図書
図書
69. 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…
70.

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

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

図書
図書
72. Executing temporal logic programs (: pbk.)
B.C. Moszkowski
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986
所蔵情報: loading…
73.

図書
図書
73. Logic programming : functions, relations, and equations
Doug DeGroot, Gary Lindstrom
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986
所蔵情報: loading…
74.

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

図書
図書
75. Philosophical grammar (: pbk.)
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
76.

図書
図書
76. The mathematics of inheritance systems (: Pitman ; : Kaufmann)
David S. Touretzky
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1986
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
77.

図書
図書
77. A deduction model of belief (: uk ; : us)
Kurt Konolige
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann, 1986
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
78.

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

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

図書
図書
80. A programming logic : with an introduction to the PL/CV verifier
Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson
出版情報: Cambridge, Mass. : Winthrop Publishers, c1978
所蔵情報: loading…
81.

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

図書
図書
82. 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…
83.

図書
図書
83. 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…
84.

図書
図書
84. 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…
85.

図書
図書
85. Foundations of the logical theory of scientific knowledge (complex logic). Revised and enlarged English ed
A.A. Zinov'ev ; with an appendix by G.A. Smirnov ... [et al.]
出版情報: Dordrecht : Reidel, c1973
シリーズ名: Boston studies in the philosophy of science ; v. 9
Synthese library
所蔵情報: loading…
86.

図書
図書
86. Non-standard logics for automated reasoning
edited by Philippe Smets ... [et al.]
出版情報: London ; Tokyo : Academic Press, 1988
所蔵情報: loading…
87.

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

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

図書
図書
89. 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…
90.

図書
図書
90. 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…
91.

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

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

図書
図書
93. The logic of programming
Eric C.R. Hehner
出版情報: Englewood Cliffs, N.J. : Prentice/Hall International, c1984
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
94.

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

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

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

図書
図書
97. Introduction to logic and sets. [2d ed.]
[by] Robert R. Christian
出版情報: New York : Blaisdell Pub. Co, [1965]
シリーズ名: A Blaisdell book in the pure and applied sciences
所蔵情報: loading…
98.

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

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

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