Richard Bornat — Books & Biography | Menrva Books

Richard Bornat

Proof and Disproof in Formal Logic: An Introduction for Programmers

Proof and Disproof in Formal Logic

Understanding and Writing Compilers A Do-it-yourself Guide

Proof and Disproof in Formal Logic

Discover

Goodreads Alternative

StoryGraph Alternative

Book Tracking App

Reading Tracker

Company

Why Menrva Books

Help & Support

Browse

© 2026 Menrva Books

All Rights Reserved.

Privacy Policy·Terms of Use·Affiliate Disclosure