請求メモ
お困りの場合は、カウンターまで
お越しください。
| 配架場所 | 2F書庫1-和書 |
| 請求記号 | 410.96/A 48 |
| 資料番号 | 002074086 |
| 状態 |
| 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳. - 東京 : 丸善 , 1987.12 |
2024/07/16 07:03:14
お困りの場合は、カウンターまで
お越しください。
| 配架場所 | 2F書庫1-和書 |
| 請求記号 | 410.96/A 48 |
| 資料番号 | 002074086 |
| 状態 |
| 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳. - 東京 : 丸善 , 1987.12 |
2024/07/16 07:03:14