| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| 復刊 数理論理学序説 fukkan suurironrigakujosetsu | 978-4-320-01943-0 (4-320-01943-1) | 2010 |
| 数学基礎論入門 (基礎数学シリーズ) suugakukisoronnyuumon (kisosuugakushiriーzu) | 978-4-254-11723-3 (4-254-11723-X) | 2006 |
| 記号論理入門 新装版 (日評数学選書) kigouronrinyuumon shinsouban (nippyousuugakusensho) | 978-4-535-60144-4 (4-535-60144-5) | 2005 |
共立出版 (kyouritsushuppan) · 日本評論社 (nihonhyouronsha) · 朝倉書店 (asakurashoten)