DK
Dexter Kozen
Dexter Campbell Kozen is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University.
Excerpt from Wikipedia, available under CC BY-SA 4.0.
Books
Automata and Computability
1997
ISBN 9781461218449
Theory of computation
2006
ISBN 9781846282973
The Design and Analysis of Algorithms
2005
ISBN 9781461244004
Dynamic Logic
2015
ISBN 9780262527668
Logics of Programs
1982
ISBN 9783540390473
Mathematics of Program Construction
2014
ISBN 9783662214077
Logic, Language, Information, and Computation
2026
ISBN 9783031995361