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…