オガワラ, シナコ
小川原, 倫子
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | 「数理論理学とタイプ理論」の訳者 |
| コード類 | 典拠ID=A000136377 NCID=DA02303557 |
| 1 | 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳 東京 : 丸善 , 1987.12 |
ようこそ ゲスト さん
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | 「数理論理学とタイプ理論」の訳者 |
| コード類 | 典拠ID=A000136377 NCID=DA02303557 |
| 1 | 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳 東京 : 丸善 , 1987.12 |