Computer scientist, mathematician, and university administrator. Known for research in computational logic, textbooks in theoretical computer science, and writings on computing, hig...
Show More
Book
May 22, 2008
Book
Feb 1, 1981