こちらに共通ヘッダが追加されます。

タナカ, トモユキ
田中, 朋之(1962-)

著者名典拠詳細を非表示

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