田中一之
田中一之 編著、鹿島亮 ほか『数学基礎論講義 不完全性定理とその発展』日本評論社、1997年3月。ISBN 4-535-78241-5。http://www.nippyo.co.jp/book/1294.html。
田中一之 編『ゲーデルの20世紀』東京大学出版会〈ゲーデルと20世紀の論理学 1〉、2006年7月。ISBN 4-13-064095-X。http://www.utp.or.jp/bd/978-4-13-064095-4.html。
田中一之 編『完全性定理とモデル理論』東京大学出版会〈ゲーデルと20世紀の論理学 2〉、2006年10月。ISBN 4-13-064096-8。http://www.utp.or.jp/bd/978-4-13-064096-1.html。
田中一之 編『不完全性定理と算術の体系』東京大学出版会〈ゲーデルと20世紀の論理学 3〉、2007年3月。ISBN 978-4-13-064097-8。http://www.utp.or.jp/bd/978-4-13-064097-8.html。
田中一之 編『集合論とプラトニズム』東京大学出版会〈ゲーデルと20世紀の論理学 4〉、2007年7月。ISBN 978-4-13-064098-5。http://www.utp.or.jp/bd/978-4-13-064098-5.html。
吉野崇 共著『線形代数学 基礎課程』培風館、1998年3月18日。ISBN 4-563-00259-3。
鈴木登志雄 共著『数学のロジックと集合論』培風館、2003年12月17日。ISBN 4-563-00337-9。http://www.baifukan.co.jp/sinkan/shokai/003379.html。