Title: Logic And Program Semantics Essays Dedicated To Dexter Kozen On The Occasion Of His 60th Birthday
Subjects: Computer programming, Computer science, mathematics, Algebra, Logic design