close
1.

図書
図書
1. Appalachian set theory : 2006-2012 (: pbk)
[edited by] James Cummings, Ernest Schimmerling
出版情報: Cambridge : Cambridge University Press, 2013
シリーズ名: London Mathematical Society lecture note series ; 406
所蔵情報: loading…
2.

図書
図書
2. Discrete mathematics : Mathematical reasoning and proof with puzzles, patterns, and games
Douglas E. Ensley, J. Winston Crawley
出版情報: Hoboken, N.J. : John Wiley & Sons, c2006
所蔵情報: loading…
3.

図書
図書
3. How to prove it : a structured approach. 2nd ed (:hbk ; :pbk)
Daniel J. Velleman
出版情報: New York : Cambridge University Press, c2006
所蔵情報: loading…
4.

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

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

図書
図書
6. A course in mathematical logic for mathematicians. 2nd ed. / chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Yu. I. Manin
出版情報: New York : Springer, c2010
シリーズ名: Graduate texts in mathematics ; 53
所蔵情報: loading…
7.

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

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

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

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