スウリ ロンリガク ト タイプ リロン : ショウメイ ニ ヨル シンリ エ
数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
| Material Type | Books |
|---|---|
| Publisher | 東京 : 丸善 |
| Year | 1987.12 |
| Language | Japanese |
| Size | xv, 316p ; 22cm |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | ISBN | Media type | Restriction | Request Memo | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
410.96/A 48 | 002074086 | 4621032240 | 図書 |
|
|
|
Hide details.
Similar Items
Library Service