Mendeley出力
＜図書＞
数理論理学とタイプ理論 : 証明による真理へ
スウリ ロンリガク ト タイプ リロン : ショウメイ ニ ヨル シンリ エ
| 責任表示 | Peter B. Andrews [著] ; 小川原倫子訳 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 東京 : 丸善 , 1987.12 |
| 本文言語 | 日本語 |
| 大きさ | xv, 316p ; 22cm |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 3E | 410.11/A 48/1 | 1987 |
|
068581190017383 |
|
|||
|
|
|
理系図1F 開架 | 410.96/A 48 | 1988 |
|
068251187014126 |
|
|||
|
|
|
理系図1F 開架 | 410.96/A 48 | 1987 |
|
068251189005385 |
|
|||
|
|
|
理系図 自動書庫 | 電気通信/普及財団/寄贈図書 | 1987 |
|
068251189001920 |
|
書誌詳細
| 別書名 | 原タイトル:An Introduction to mathematical logic and type theory : to truth through proof |
|---|---|
| 一般注記 | 参考文献: p[299]-302 |
| 著者標目 | Andrews, P. B. (Peter Bruce), 1937- 小川原, 倫子 <オガワラ, シナコ> |
| 件 名 | BSH:記号論理学 |
| 分 類 | NDC8:410.96 NDC7:410.12 NDLC:MA41 |
| 書誌ID | 1000298206 |
| ISBN | 4621032240 |
| NCID | BN01734763 |
| 巻冊次 | ISBN:4621032240 ; PRICE:5800円 |
| 登録日 | 2009.09.11 |
| 更新日 | 2009.09.18 |