タナカ, トモユキ
田中, 朋之(1962-)
著者名典拠詳細を表示
| 1 | スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳 東京 : 白揚社 , 2008.5 |
| 2 | 決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳 東京 : 白揚社 , 1990.11 |
タナカ, トモユキ
著者名典拠詳細を表示| 1 | スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳 東京 : 白揚社 , 2008.5 |
| 2 | 決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳 東京 : 白揚社 , 1990.11 |