著者典拠情報

標目形：
田中, 朋之(1962-)||タナカ, トモユキ
属性：
Personal
日付：
1962-
注記：
日本アイ・ビー・エム(株)勤務
著者典拠ID：
DA04975749


1.

図書
図書
1. 決定不能の論理パズル : ゲーデルの定理と様相論理
レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
出版情報: 東京 : 白揚社, 1990.11
所蔵情報: loading…
2.

図書
図書
2. スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳
出版情報: 東京 : 白揚社, 2008.5
所蔵情報: loading…