Join the Goodreads Author Program

Are you Lawrence C. Paulson, author of the books below?
ML for the Working Programmer, 2nd Edition by Lawrence C. Paulson Logic and Computation by Lawrence C. Paulson Isabelle by Lawrence C. Paulson Isabelle/HOL by Tobias Nipkow Interactive Theorem Proving by Matt Kaufmann Interactive Theorem Proving by Matt Kaufmann


To join the author program as Lawrence C. Paulson, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads