| title | ISBN-13 | year of publication |
|---|---|---|
| スマリヤンの決定不能の論理パズル―ゲーデルの定理と様相理論 sumariyannoketsujou/ | 978-4-8269-0142-0 | 2008 |
| スマリヤンの無限の論理パズル―ゲーデルとカントールをめぐる難問奇問 sumariyannobugen/ | 978-4-8269-0140-6 | 2007 |
| スマリヤンの究極の論理パズル―数の不思議からゲーデルの定理へ sumariyannokyuukyokunoronripazuru―kazo/ | 978-4-8269-0143-7 | 2008 |
| スマリヤンの究極の論理パズル―数の不思議からゲーデルの定理へ sumariyannokyuukyokunoronripazuru―kazo/ | 978-4-8269-0099-7 | 2001 |
| 哲学ファンタジー tetsugakufuantajiー | 978-4-621-04224-3 | 1995 |
| 天才スマリヤンのパラドックス人生 ゲーデルもピアノもマジックもチェスもジョークも tensaisumariyannoparadokkusujinsei geーderumopianomomajikkumochiesumojoーkumo | 978-4-06-211963-4 | 2004 |
| 数学パズル 美女か野獣か?―楽しみながらゲーデルの謎にせまる suugakupazuru bijokayajuuka?―tanoshiminagarageーderunomei/ | 978-4-627-01860-0 | 1996 |
| 決定不能の論理パズル―ゲーデルの定理と様相論理 ketsujou/ | 978-4-8269-0044-7 | 1990 |
丸善 (maruzen) · 森北出版 (morikitashuppan) · 白揚社 (hakuyousha) · 講談社 (koudansha)