Proof and disproof in formal logic :
Bornat, Richard,
Proof and disproof in formal logic : an introduction for programmers / Richard Bornat. - Oxford ; New York Oxford University Press, 2005. - xix, 243 p. : ill. ; 25 cm. - Oxford texts in logic ; 2 .
Includes index.
Basics -- Formal proof -- Disproof -- Proof of programs.
0198530277 (alk. paper) 0198530269 (alk. paper)
2005019564
Evidence.
Logic, Modern.
BC173 / .B67 2005
160
Proof and disproof in formal logic : an introduction for programmers / Richard Bornat. - Oxford ; New York Oxford University Press, 2005. - xix, 243 p. : ill. ; 25 cm. - Oxford texts in logic ; 2 .
Includes index.
Basics -- Formal proof -- Disproof -- Proof of programs.
0198530277 (alk. paper) 0198530269 (alk. paper)
2005019564
Evidence.
Logic, Modern.
BC173 / .B67 2005
160