数学における証明と真理 - 共立出版,Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability,Mathematical Proofs: A Transition to Advanced Mathematics (2nd Edition): Chartrand, Gary, Polimeni, Albert D., Zhang, Ping: 9780321390530: Amazon.com: ,Mathematical Proofs: A Transition to Advanced Mathematics,Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability,