Alfred Tarski (1901 – 1983) Participations: گسترشها Some Theorems About the Sentential Calculi of Lewis and Heyting Some Theorems About the Sentential Calculi of Lewis and Heyting 1948 author J. C. C. McKinsey author Alfred Tarski Introduction to Logic and to the Methodology of Deductive Sciences Introduction to Logic and to the Methodology of Deductive Sciences 1941 author Alfred Tarski