いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門
記号論理学―その成立史の研究(1962年)(東大学術叢書〈第15〉)
一般教養としての現代数学入門 : 集合論・群論・記号論理学 新訂版
論理学 : 思考の法則と科学の方法 <Sekaishiso seminar>
数理論理学・代数学・数論・確率論 Mathematics of the 19th century. (改訂第2版)
A.N.Kolmogorov, A.P.Yushkevich 編 ; 三宅克哉, 小林昭七, 藤田宏・・・
341p 22cm
978-4-254-11741-7
Symbolismus und symbolische Logik
ジョン・ノイバウアー 著 ; 原研二 訳、ありな書房、1999.10
302p 22cm
475669960X
Logical Labyrinths
Raymond Smullyan 著 ; 高橋昌一郎 監訳 ; 川辺治之 訳、丸善、2013.1
150p 21cm
978-4-621-08572-1
ルート181 パレスチナ~イスラエル旅の断章 <季刊 前夜 別冊>
宮本常一『忘れられた日本人』を読む <岩波現代文庫 G280>
ボタン穴から見た戦争 白ロシアの子供たちの証言 <岩波現代文庫 S296>
HACKERS SUPER VOCABULARY ハッカーズ・スーパーボキャブラリー