決定不能の論理パズル : ゲーデルの定理と様相論理決定不能の論理パズル : ゲーデルの定理と様相論理RaymondM Smullyan, 長尾確, 田中朋之出版社白揚社発売日1990-11-01ISBN9784826900447読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
