数学の基礎　（シュプリンガー数学クラシックス　第４巻）

D・ヒルベルト、P・ベルナイス／著　吉田夏彦、渕野昌／訳
シュプリンガー・ジャパン
2007年3月29日復刻版（初版は1993年）

「現代の文脈から、当時の、ヒルベルトの証明論がどのようなものだったかを、点検しなおしてみることは、（中略）意義のあることと思う・・」訳者