書泉グランデにて

論理学者　照井一成先生の本棚フェア

だった。

右側に鈴木光司の『リング』『らせん』『ループ』がある^^.

『ループ』を購入。

『ループ』 (角川ホラー文庫) 文庫 – 2000/9/8　鈴木 光司 

ほかに行く知られた論理学、理論計算機科学関係の書籍があった。

ほかに

『論理と会話』P. グライス (著), Paul Grice (原著), 清塚 邦彦 (翻訳)　勁草書房 (1998/08)

が目についた。

コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ- 単行本 – 2015/2/24　照井一成 (著)　青土社; 初版 (2015/2/24)