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
ByJeremy Avigad
2022 • 1 Reader • 527 pages
Logic and Proof
ByJeremy Avigad,Robert Y. Lewis,+1 more
Interactive Theorem Proving
ByJeremy Avigad,Assia Mahboubi
2018 • 642 pages