Richard Bornat

1944

• Programming from first principles
• Proof and Disproof in Formal Logic
• Understanding and Writing Compilers