スウリ ロンリガク ト タイプ リロン : ショウメイ ニ ヨル シンリ エ
数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : 丸善 |
| 出版年 | 1987.12 |
| 大きさ | xv, 316p ; 22cm |
書誌詳細を非表示
| 書誌ID | BB00669456 |
|---|---|
| 本文言語 | 日本語 |
| 別書名 | 原タイトル:An Introduction to mathematical logic and type theory : to truth throught proof |
| 一般注記 | 参考文献: p[299]-302 |
| 著者標目 | Andrews, P. B. (Peter Bruce), 1937- 小川原, 倫子 <オガワラ, シナコ> |
| 件 名 | BSH:記号論理学 |
| 分 類 | NDC8:410.96 NDC7:410.12 NDLC:MA41 |
| 巻冊次 | ISBN:4621032240 ; PRICE:5800円 RefWorks出力（各巻） |
| NCID | BN01734763 |
目次・あらすじ
類似資料
この資料を見た人はこんな資料も見ています
この資料の利用統計
このページへのアクセス回数：2回
※2020年8月16日以降
全貸出数：13回
(1年以内の貸出：0回)
※2000年4月1日以降