東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Proof and disproof in formal logic :...

~

Bornat, Richard, (1944-)

FindBook

Google Book

Amazon

博客來

Proof and disproof in formal logic : = an introduction for programmers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Proof and disproof in formal logic :/ Richard Bornat.
其他題名:	an introduction for programmers /
作者:	Bornat, Richard,
出版者:	Oxford :Oxford University Press, : c2005.,
面頁冊數:	xix, 243 p. :ill. ;24 cm.
附註:	Includes index.
標題:	Evidence. -
電子資源:	http://www.loc.gov/catdir/toc/ecip0516/2005019564.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy0637/2005019564-d.html
ISBN:	0198530277 (pbk.) :

Proof and disproof in formal logic : = an introduction for programmers /
Bornat, Richard,1944-

Proof and disproof in formal logic :an introduction for programmers /Richard Bornat. - Oxford :Oxford University Press,c2005. - xix, 243 p. :ill. ;24 cm. - Oxford texts in logic ;2.

Includes index.

ISBN: 0198530277 (pbk.) :UK43.00

LCCN: 2005019564Subjects--Topical Terms:

583147
Evidence.

LC Class. No.: BC173 / .B67 2005

Dewey Class. No.: 160

Proof and disproof in formal logic : = an introduction for programmers /
LDR:00916cam 2200265 a 4500 001 879857
005 20100920182157.0
008 050707s2005 enka 001 0 eng
010 $a 2005019564
020 $a 0198530277 (pbk.) : $c UK43.00
020 $a 0198530269
020 $a 9780198530275 (pbk.)
020 $a 9780198530268
035 $a as99w07037
040 $a DLC $c DLC $d DLC
042 $a pcc
050 0 0 $a BC173 $b .B67 2005
082 0 0 $a 160 $2 22
090 $a BC/173/.B67/2005//////W0137222
100 1 $a Bornat, Richard, $d 1944- $3 950177
245 1 0 $a Proof and disproof in formal logic : $b an introduction for programmers / $c Richard Bornat.
260 $a Oxford : $c c2005. $b Oxford University Press,
300 $a xix, 243 p. : $b ill. ; $c 24 cm.
490 0 $a Oxford texts in logic ; $v 2
500 $a Includes index.
650 0 $a Evidence. $3 583147
650 0 $a Logic, Modern. $3 883414
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/toc/ecip0516/2005019564.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0637/2005019564-d.html

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

W0137222

五樓西文書區A-HB(5F Western Language Books)

01.外借(書)_YB

一般圖書

BC173 B67 2005

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入