| title | ISBN-13 | year of publication |
|---|---|---|
| いかにして推理するかいかにして証明するか―論理パズルによる記号論理学入門 ikanishitesuirisurukaikanishiteshoumeisuruka―ronripazuruniyorukigouronrigakunyuumon | 978-4-623-01340-1 | 1981 |
| うそとパラドックス―ゲーデル論理学への道 (講談社現代新書) usotoparadokkusu―geーderuronrigakuhenodou/ | 978-4-06-148881-6 | 1987 |
| アインシュタインの思考をたどる―時空の哲学入門 ainshutainnoshikouwotadoru―jikuunotetsugakunyuumon | 978-4-623-04260-9 | 2004 |
| ダーウィンの思想―人間と動物のあいだ (岩波新書) daーuinnoshisou―jinkan/ | 978-4-00-431202-4 | 2009 |
| 真理・証明・計算―論理と機械 makoto/ | 978-4-623-01884-0 | 1989 |
| 科学哲学入門―科学の方法・科学の目的 (Sekaishiso seminar) kagakutetsugakunyuumon―kagakunohouhou・kagakunomokuteki (Sekaishiso seminar) | 978-4-7907-0558-1 | 1995 |
| 空間の謎・時間の謎―宇宙の始まりに迫る物理学と哲学 (中公新書) kuukannomei/ | 978-4-12-101829-8 | 2006 |
世界思想社 (sekaishisousha) · 中央公論新社 (chuuoukouronshinsha) · 岩波書店 (iwanamishoten) · 講談社 (koudansha)