Language, proof and logic / Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease
| データ種別 | 図書 |
|---|---|
| 版 | 2nd ed |
| 出版者 | Stanford : CSLI Publications |
| 出版年 | 2011 |
書誌詳細を非表示
| 本文言語 | 英語 |
|---|---|
| 大きさ | xiii, 606 p. : ill. ; 24 cm. + 1 CD-ROM (12cm) |
| 一般注記 | Includes indexes Accompanied by leaflet "Language, proof and logic 2nd edition software manual" (56 p. ; 22 cm.) "Text/Software Package" -- Cover |
| 著者標目 | *Barker-Plummer, Dave Barwise, Jon Etchemendy, John, 1952- Liu, Albert, 1966- Murray, Michael Pease, Emma |
| 件 名 | LCSH:Logic |
| 分 類 | LCC:BC71 DC21:160 |
| ISBN | 9781575866321 |
目次／あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数：10回
※2018年9月5日以降
全貸出数：0回
(1年以内の貸出：0回)