Franzén, Torkel
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | His Provability and truth, c1987: t.p. (Torkel Franzén) |
| コード類 | 典拠ID=AU20101768 NCID=DA04093863 |
| 1 | ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳 東京 : みすず書房 , 2011.3 |
ようこそ ゲスト さん