こちらに共通ヘッダが追加されます。

このページのリンク

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 computer laser optical disc (4 3/4 in.)

所蔵情報を非表示

ラーネッド記念図書館 第1開架 : pbk 116||B9189 149250963 付属DVD-ROM:カウンター請求

書誌詳細を非表示

書誌ID BB12853719
本文言語 英語
一般注記 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
巻冊次 : pbk ; ISBN:9781575866321 RefWorks出力(各巻)
NCID BB07148543
目次・あらすじ

 類似資料

 この資料を見た人はこんな資料も見ています