Challenge Faves

Join the Goodreads Author Program

Are you Nachum Dershowitz, author of the books below?
Calendrical Calculations by Nachum Dershowitz Conditional and Typed Rewriting Systems by Nachum Dershowitz The Evolution of Programs by Nachum Dershowitz Logic for Programming, Artificial Intelligence, and Reasoning by Nachum Dershowitz Rewriting Techniques and Applications by Nachum Dershowitz Verification by Nachum Dershowitz Language, Culture, Computation by Nachum Dershowitz Language, Culture, Computation by Nachum Dershowitz Language, Culture, Computation by Nachum Dershowitz Logic for Programming, Artificial Intelligence, and Reasoning by Iliano Cervesato


To join the author program as Nachum Dershowitz, 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