Join the Goodreads Author Program

Are you Dexter Kozen, author of the books below?
Design and Analysis of Algorithms by Dexter Kozen Mathematics of Program Construction by Dexter Kozen Logics of Programs by Dexter Kozen Tenth Annual IEEE Symposium on Logic in Computer Science by Dexter Kozen Logic, Language, Information, and Computation by Dexter Kozen Proceedings by Dexter Kozen OCaml Programming by Michael R. Clarkson Dynamic Logic by David Harel


To join the author program as Dexter Kozen, 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