Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Apr 11, 2012 · English · Paperback (370 pages)