Proof and disproof in formal logic an introduction for programmers - Bornat, Richard (Oxford University Press, 2005)
Includes index
Basics -- Formal proof -- Disproof -- Proof of programs