Тарский — (Tarski) Альфред (1902-83) — польский и американский логик иматематик, один из главных представителей львовско-варшавской школы. С1939 в США. Труды по логико-алгебраической теории моделей, методамизучения исчисления предикатов. Основоположник логической семантики какдедуктивной теории.
Источник: Энциклопедический словарь.
Тарский (Tarski)
Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живёт в США). Полученные Т. результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины и др. разделам математической логики и оснований математики. Основополагающий характер имеют работы Т. в моделей теории, логической семантике, металогике и методологии дедуктивных наук.
Соч.: Undecidable theories, N. Y., 1954 (соавтор). Logics, semantics, metamathematics, Oxf,, 1956. в рус. пер.- Введение в логику и методологию дедуктивных наук, М., 1948.
Источник: Большая Советская Энциклопедия (БСЭ) 1926-1990г.