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回)