مک کینزی (1908 – 1953) برابر انگلیک (انگلیسی): J. C. C. McKinsey انبازیها: گسترشها Some Theorems About the Sentential Calculi of Lewis and Heyting استوارههایی دربارهی افماریک گزارهای لوئیس و هیتینگ 1948 داتار مک کینزی داتار آلفرد تارسکی A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology راهکاری برای پرسمان برگزینش برای سامانههای S2 و S4 لوئیس 1941 داتار مک کینزی A reduction in number of the postulates for C. I. Lewis' system of strict implication A reduction in number of the postulates for C. I. Lewis' system of strict implication 1934 داتار مک کینزی