2008-07-04 スマリヤンの決定不能の論理パズル スマリヤンの決定不能の論理パズル―ゲーデルの定理と様相理論作者: レイモンドスマリヤン,Raymond Smullyan,田中朋之,長尾確出版社/メーカー: 白揚社発売日: 2008/06/01メディア: 単行本 クリック: 28回この商品を含むブログ (5件) を見る新装で出ていて驚いた．様相論理が楽しく勉強できる一冊．
