1.

図書
図書
1. A concise introduction to pure mathematics. 4th ed (: pbk)
Martin Liebeck
出版情報: Boca Raton : CRC Press, c2016
所蔵情報: loading…
2.

図書
図書
2. Logic and structure. 5th ed (: pbk)
Dirk van Dalen
出版情報: Berlin : Springer, c2013
シリーズ名: Universitext
所蔵情報: loading…
3.

図書
図書
3. Logical foundations of proof complexity
Stephen Cook, Phuong Nguyen
出版情報: New York : Association for Symbolic Logic : Cambridge University Press, 2010
シリーズ名: Perspectives in logic
所蔵情報: loading…
4.

図書
図書
4. Games, puzzles, and computation
Robert A. Hearn, Erik D. Demaine
出版情報: Wellesley, Mass. : A K Peters, c2009
所蔵情報: loading…
5.

図書
図書
5. Is God a mathematician?
Mario Livio
出版情報: New York : Simon & Schuster, 2009
所蔵情報: loading…
6.

図書
図書
6. Computable models
Raymond Turner
出版情報: London : Springer, c2009
所蔵情報: loading…
7.

図書
図書
7. Introduction to mathematics of satisfiability
Victor W. Marek
出版情報: Boca Raton : Chapman & Hall/CRC, c2009
シリーズ名: Chapman & Hall/CRC studies in informatics series / Series editor, G.Q. Zhang
所蔵情報: loading…
8.

図書
図書
8. Toposes and local set theories : an introduction. Dover ed (: pbk)
J.L. Bell
出版情報: Mineola, N.Y. : Dover Publications, 2008, c1988
所蔵情報: loading…
9.

図書
図書
9. Realizability : an introduction to its categorical side
Jaap van Oosten
出版情報: Amsterdam ; Tokyo : Elsevier, 2008
シリーズ名: Studies in logic and the foundations of mathematics ; v. 152
所蔵情報: loading…
10.

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