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.
This link will take you to Kluwer's page for the first volume, from which you can order the first volume.
This link will take you to Kluwer's page for the second volume, from which can order either the second volume or the set of both volumes.