本橋 信義／著 -- 培風館 -- 2003.9 -- 410.9 , 410.9

R.ゲーデル／著 -- 遊星社 -- 1992.12 -- 289.3

本橋 信義／著 -- 岩波書店 -- 1989.4 -- 410.9 , 410.9