-
RecordNumber
1210
-
Author
Bornat, Richard,1944-
-
Title
Proof and disproof in formal logic
-
SubTitle
an introduction for programmers
-
Author Statement
Richard Bornat
-
Publication
Oxford University Press
-
Publication Year
c2005
-
Collation
xix, 243 p. ill.
-
Series
Oxford texts in logic
-
Notes
Includes index , Basics -- Formal proof -- Disproof -- Proof of programs
-
Subject
Evidence. , Logic, Modern.
-
Main class
160
-
Cutter no
B736p
-
ISBN
9780-19-853027-5
-
Link To Document :
