@book{ BA86149963, author = "Smullyan, Raymond M. and 田中, 朋之 and 長尾, 確 ", title = "スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論", publisher = "白揚社", year = "2008", URL = "https://ci.nii.ac.jp/ncid/BA86149963" }

AltStyle によって変換されたページ (->オリジナル) /