Richard Bornat

Proof and Disproof in Formal Logic

Understanding and Writing Compilers