タナカ, トモユキ
田中, 朋之(1962-)
著者名典拠詳細を非表示
著者の属性 | 個人 |
---|---|
一般注記 | 日本アイ・ビー・エム(株)勤務 |
生没年等 | 1962- |
コード類 | 典拠ID=AU00200631 NCID=DA04975749 |
1 | 決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳 東京 : 白揚社 , 1990.11 |
著者の属性 | 個人 |
---|---|
一般注記 | 日本アイ・ビー・エム(株)勤務 |
生没年等 | 1962- |
コード類 | 典拠ID=AU00200631 NCID=DA04975749 |
1 | 決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳 東京 : 白揚社 , 1990.11 |