-
RecordNumber
79802
-
Author
Bornat, Richard, 1944-
-
Title
Proof and disproof in formal logic : an introduction for programmers
-
Author Statement
Richard Bornat
-
Publication
Oxford University
-
Publication Year
c2005
-
Collation
xix, 243 p.: ill, diagrs, tables
-
Subject
Evidence , Logic, Modern
-
Main Class
160
-
Cutter no
B736p
-
وارد كنندة اطلاعات
s.hovsepian^d2007/04/24 15:03:36 , s.hovsepian^d2007/04/24 15:05:26 , fazel^d2007/05/16 11:30:35
-
Link To Document :
