Ordering Information

The two ACL2 books are now available in paperback via online just-in-time publisher Lulu.com. Click on the appropriate image below to visit the Lulu purchasing site.

Book 1: Description, Errata, etc. Book 2: Description, Errata, etc.

University Faculty: If you are a faculty member and wish to consider using Book 1 as a textbook, please contact Pete Manolios.

It is possible to order the two books from Kluwer Academic Publishers. They sell hardback copies and charge significantly more than we do.