1.

図書
図書
1. Sets and symbolic logic
Hugh Terence Combe
出版情報: London : Ginn, 1970
シリーズ名: Studies in mathematics
所蔵情報: loading…
2.

図書
図書
2. Logical approach to systems theory (: pbk)
Shingo Takahashi and Yasuhiko Takahara
出版情報: London ; New York : Springer, c1995
シリーズ名: Lecture notes in control and information sciences ; 204
所蔵情報: loading…
3.

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

図書
図書
4. Word and object (: pbk)
Willard Van Orman Quine
出版情報: Cambridge, Mass. : M. I. T. Press, c1960
所蔵情報: loading…
5.

図書
図書
5. Completeness, compactness, and undecidability : an introduction to mathematical logic
Alfred B. Manaster
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1975
所蔵情報: loading…
6.

図書
図書
6. Learning language in logic
James Cussens, Sašo Džeroski (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1925 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. Automata logics, and infinite games : a guide to current research
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2500
所蔵情報: loading…
8.

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

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

図書
図書
10. Symbolic logic. 4th ed
Irving M. Copi
出版情報: New York : Macmillan, c1973
所蔵情報: loading…