新井敏康
新井紀子 共著『計算とは何か』東京図書〈math stories〉、2009年10月。ISBN 978-4-489-02054-4。http://www.tokyo-tosho.co.jp/books/ISBN978-4-489-02054-4.html。
『数学基礎論』岩波書店、2011年5月18日。ISBN 978-4-00-005536-9。http://www.iwanami.co.jp/.BOOKS/00/4/0055360.html。
Ordinal Analysis with an Introduction to Proof Theory. Springer. (2020). ISBN 978-981-15-6458-1. https://link.springer.com/book/10.1007%2F978-981-15-6459-8