Pillars of computer science

From the reviews: „This festschrift is dedicated to Boris Trakhtenbrot on the occasion of his 85 th birthday. … The volume covers a wide variety of papers on logic and the foundations of theoretical computer science, written by top people in the field. It is certainly worth acquiring for a library.“