嶺東科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Language, proof, and logic

紀錄類型:	書目-語言資料,印刷品 : 單行本
作者:	Barker-PlummerDave,
合作者:	BarwiseJon,
合作者:	EtchemendyJohn,
出版地:	Stanford, Calif.
出版者:	CSLI Publications;
出版年:	2011
版本:	2nd ed.
面頁冊數:	xiii, 606 p.ill. : 24 cm.; 1 CD-ROM+
標題:	Logic -
附註:	Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy.
ISBN:	978-1-57586-632-1pbk.
ISBN:	1-57586-632-3pbk.

Language, proof, and logic
Barker-Plummer, Dave

Language, proof, and logic / Dave Barker-Plummer, Jon Barwise, and John Etchemendy in collaboration with Albert Liu, Michael Murray, and Emma Pease - 2nd ed.. - Stanford, Calif. : CSLI Publications, 2011. - xiii, 606 p. ; ill. ; 24 cm..
Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy..
Includes indexes..
ISBN 978-1-57586-632-1ISBN 1-57586-632-3
Logic

Barwise, Jon

Language, proof, and logic
LDR:00740cam0 2200205 450 001 272908
005 20111118081727.0
010 1 $a 978-1-57586-632-1 $b pbk. $d NT$1833
010 1 $a 1-57586-632-3 $b pbk. $d NT$1833
100 $a 20130429d2011 m y0engy01 b
101 0 $a eng
102 $a us
105 $a a z 001yy
200 1 $a Language, proof, and logic $f Dave Barker-Plummer, Jon Barwise, and John Etchemendy in collaboration with Albert Liu, Michael Murray, and Emma Pease
205 $a 2nd ed.
210 $a Stanford, Calif. $d 2011 $c CSLI Publications
215 1 $a xiii, 606 p. $c ill. $d 24 cm. $e 1 CD-ROM
300 $a Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy.
320 $a Includes indexes.
606 # $a Logic $2 lc $3 286967
676 $a 160
700 1 $a Barker-Plummer $b Dave $3 286964
701 0 $a Barwise $b Jon $t Language, proof, and logic $3 286965
701 0 $a Etchemendy $b John $3 292026
801 0 $a tw $b 嶺東科技大學圖書館

筆 0 讀者評論

館藏

2 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

330340

總館A區6F

一般流通

一般圖書

160 B255 E2

一般使用(Normal)

在架

0

1 CD-ROM

C23233

總館流通櫃檯(隨書附件)

一般流通

CD-ROM

DR 160 B255 E2

一般使用(Normal)

在架

0

330340

2 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入