田中一之
『逆数学と2階算術』倉田令二朗 監修、河合文化教育研究所(出版) 河合出版(発売)〈数学基礎論シリーズ 4巻〉、1997年8月。ISBN 4-87999-970-9。http://www.kawai-juku.ac.jp/bunkyo/7-2-c.html。
『数の体系と超準モデル』裳華房、2002年4月。ISBN 4-7853-1530-X。http://www.shokabo.co.jp/mybooks/ISBN978-4-7853-1530-6.htm。
『ゲーデルに挑む 証明不可能なことの証明』東京大学出版会、2012年4月。ISBN 978-4-13-063900-2。http://www.utp.or.jp/bd/978-4-13-063900-2.html。
『チューリングと超(メタ)パズル』東京大学出版会、2013年11月。ISBN 978-4-13-063901-9。http://www.utp.or.jp/bd/978-4-13-063901-9.html。
『数学基礎論序説: 数の体系への論理的アプローチ』裳華房、2019年6月。ISBN 978-4785315757。https://www.shokabo.co.jp/mybooks/ISBN978-4-7853-1575-7.htm。
『山の上のロジック学園---不完全性定理をめぐる2週間の授業日誌』日本評論社、2019年12月。ISBN 978-4-535-78913-5。https://www.nippyo.co.jp/shop/book/8204.html。