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. Fundamental concepts of modern mathematics
[by] Max D. Larsen
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, c1970
所蔵情報: loading…
4.

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

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

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

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

図書
図書
8. 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…
9.

図書
図書
9. 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…
10.

図書
図書
10. 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
11.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

図書
図書
35. 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…
36.

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

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

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

図書
図書
39. 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…
40.

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

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

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

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

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

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

図書
図書
46. 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…
47.

図書
図書
47. 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…
48.

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

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

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

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

図書
図書
52. The computer modelling of mathematical reasoning (: pbk. ; : cased)
Alan Bundy
出版情報: London ; New York : Academic Press, 1983
所蔵情報: loading…
53.

図書
図書
53. 9 papers on logic and quantum electrodynamics
authors, Detlovs, V. K. ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1963
シリーズ名: American Mathematical Society translations ; ser. 2, v. 23
所蔵情報: loading…
54.

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

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

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

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

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

図書
図書
59. Applied symbolic logic
Edward P. Lynch
出版情報: New York : Wiley, c1980
所蔵情報: loading…
60.

図書
図書
60. Symbolic logic and intelligent machines
Edmund C. Berkeley
出版情報: New York : Reinhold, c1959
所蔵情報: loading…
61.

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

図書
図書
62. 15 papers on topology and logic
Abramov, L. M.. ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1964
シリーズ名: American Mathematical Society translations ; ser. 2, v. 39
所蔵情報: loading…
63.

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

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

図書
図書
65. Mathematical logic. Rev. ed
by Willard Van Orman Quine
出版情報: Cambridge : Harvard University Press, 1951
所蔵情報: loading…
66.

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