Dexter Kozen
Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. Provided by Wikipedia
1
Published: 1997.
Superior document: Undergraduate texts in computer science