Proof and disproof in formal logic : an introduction for programmers /
Bornat, Richard.
Proof and disproof in formal logic : an introduction for programmers / Richard Bornat. - New York : Oxford University Press, 2005. - 243 p. : ill. ; 25 cm. - Oxford texts in logic 2 .
Basics -- Formal proof -- Disproof -- Proof of programs
0198530269
Evidence
Logic, Modern
Proof and disproof in formal logic : an introduction for programmers / Richard Bornat. - New York : Oxford University Press, 2005. - 243 p. : ill. ; 25 cm. - Oxford texts in logic 2 .
Basics -- Formal proof -- Disproof -- Proof of programs
0198530269
Evidence
Logic, Modern