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