↓この請求メモをスマホで表示する↓
請求メモ
配架場所が「CGS資料室」となっている資料は、出納式ですので、カウンターまでお問い合わせください。
| 配架場所 | 書庫(1階) |
| 請求記号 | S 10.3||00057||030482 |
| 資料番号 | 0030304822 |
| 状態 |
| Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert Willem Beth. - Dordrecht, Holland : D. Reidel Publishing Co. , 1962. - (Synthese library) |
2024/05/21 19:40:20
[2099.03.31返却期限]となっている図書は教員に長期貸出中です。利用希望される場合はカウンターまでお問い合わせください。