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