TY  - BOOK
AU  - Bornat,Richard
TI  - Proof and disproof in formal logic: an introduction for programmers 
SN  - 0198530269
PY  - 2005///
CY  - New York
PB  - Oxford University Press
KW  - Evidence
KW  - Logic, Modern
N1  - Basics -- Formal proof -- Disproof -- Proof of programs
ER  -