دانلود کتاب Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
by Hajnal Andréka
|
عنوان فارسی: منطق و برنامه معناشناسی: نقدی بر به مناسبت تولد 60 خود را به دکستر Kozen اختصاصی |