ردهها paper Some Theorems About the Sentential Calculi of Lewis and Heyting (1948) Participants: گسترشها J. C. C. McKinsey (1908 – 1953) Alfred Tarski (1901 – 1983)