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 -⭐.

Details	Rating	Readers Count	Controls
Mathematical Logic and Computation Jeremy Avigad	0	0 reads
Logic and Proof Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn	0	0 reads
Interactive Theorem Proving Jeremy Avigad Assia Mahboubi	0	0 reads

Community

Follow Along

We're an Open Book

Footer links