لئون هنکین

(1921 – 2006)
برابر انگلیک (انگلیسی): Leon Henkin


تاربرگ‌های پیموده‌شده در این نشست: گوییک‌های سویی میان S4 و S5 Lectures on algebra of logic آرند هیتینگ جوزپه پئانو لئون هنکین