クルト・ゲーデル
廣瀬健・横田一正『ゲーデルの世界――完全性定理と不完全性定理――』 海鳴社、1985年。ISBN 4875251068 論文「論理学における述語計算の公理の完全性」、「『プリンキピア・マテマティカ』やその関連体系での形式的に決定不可能な命題についてI」の翻訳あり
『ゲーデル 不完全性定理』 林晋・八杉満利子 訳・解説、岩波書店〈岩波文庫〉、2006年。ISBN 4003394410 論文「プリンキピア・マテマティカおよび関連した体系の形式的に決定不能な命題についてI」の翻訳と解説
E.ナーゲル、J・R.ニューマン 『ゲーデルは何を証明したか――数学から超数学へ』 林一訳、白揚社、1999年。ISBN 4826900872
ダグラス・ホフスタッター 『ゲーデル、エッシャー、バッハ――あるいは不思議の環 20周年記念版』 野崎昭弘・柳瀬尚紀・はやしはじめ 訳、白揚社、2005年。ISBN 4826901259
ジョン・W・ドーソン Jr. 『ロジカル・ディレンマ ゲーデルの生涯と不完全性定理』 村上祐子・塩谷賢訳、新曜社、2006年。ISBN 4788510286 ゲーデルの遺稿を基にした詳細な伝記。
レイモンド・スマリヤン 『ゲーデルの不完全性定理』 高橋昌一郎訳、丸善出版、1996年。ISBN 978-4621042045。改訳版2019年
ピエール・カスー=ノゲス『ゲーデルの悪霊たち 論理学と狂気』 新谷昌宏訳、みすず書房、2020年 ISBN 978-4622089162
ハオ・ワン 『ゲーデル再考 人と哲学』土屋俊・戸田山和久 訳、産業図書、1995年。ISBN 9784782800966