1.

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

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

図書
図書
3. 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…
4.

図書
図書
4. 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…
5.

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

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

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

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

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

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

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

図書
図書
12. 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…
13.

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

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

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

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

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

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