[(Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday )] [Author: Robert L. Constable] [May-2012]

انگلیسی · جلد نرم