オガワラ, シナコ
小川原, 倫子
Show author's details.
| 1 | 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳 東京 : 丸善 , 1987.12 |
Library Service
オガワラ, シナコ
Show author's details.| 1 | 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳 東京 : 丸善 , 1987.12 |
Library Service