東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Proof and disproof in formal logic :...

~

Bornat, Richard, (1944-)

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Proof and disproof in formal logic :/ Richard Bornat.
Reminder of title:	an introduction for programmers /
Author:	Bornat, Richard,
Published:	Oxford :Oxford University Press, : c2005.,
Description:	xix, 243 p. :ill. ;24 cm.
Notes:	Includes index.
Subject:	Evidence. -
Online resource:	http://www.loc.gov/catdir/toc/ecip0516/2005019564.html
Online resource:	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

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0137222

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

01.外借(書)_YB

一般圖書

BC173 B67 2005

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login