Jeremy Avigad

Jeremy Avigad has written at least 3 books. Their most popular book is Mathematical Logic and Computation with 1 save with an average rating of -⭐.

Mathematical Logic and Computation

Cover 8

Logic and Proof

Interactive Theorem Proving

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies