C. Davy · C. Dovì · C. Duffy · C. Dupuy
| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| 情報科学における論理 (情報数学セミナー) jouhoukagakuniokeruronri (jouhousuugakuseminaー) | 978-4-535-60814-6 (4-535-60814-8) | 1994 |
| 現代数理論理学序説 gendai/ | 978-4-535-78556-4 (4-535-78556-2) | 2010 |