Тарский — (Tarski) Альфред (1902-83) — польский и американский логик иматематик, один из главных представителей львовско-варшавской школы. С1939 в США. Труды по логико-алгебраической теории моделей, методамизучения исчисления предикатов. Основоположник логической семантики какдедуктивной теории.

Источник: Энциклопедический словарь.