| title | ISBN-13 | year of publication |
|---|---|---|
| 公理と証明 証明論への招待 (ちくま学芸文庫) kouritoshoumei shoumeironhenoshoutai (chikumagakugeibunko) | 978-4-480-09481-0 | 2012 |
| 数学序説 (ちくま学芸文庫) suugakujosetsu (chikumagakugeibunko) | 978-4-480-09558-9 | 2013 |
| 確率論入門 (ちくま学芸文庫) kakuritsuronnyuumon (chikumagakugeibunko) | 978-4-480-09628-9 | 2014 |
| 集合論入門 (ちくま学芸文庫) shuugouronnyuumon (chikumagakugeibunko) | 978-4-480-09588-6 | 2014 |