Author: Dexter Kozen Support2 Ebooks by Dexter Kozen David (William Sussman Professorial Chair, The Weizmann Institute of Science) Harel & Dexter Kozen: Dynamic Logic … PDF DRM €95.73 Dexter Kozen & Carron Shankland: Mathematics of Program Construction … PDF English DRM €58.19 0 0 Checkout 0,00 × × × Change user language × ArabicGermanEnglishSpanishFrenchHindiIndonesianItalianMalayDutchPolishPortugueseRomanianRussianSwedishThaiTurkishUkrainianVietnameseChineseInternational Modal ×