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