Большой энциклопедический словарь - тарский (tarski) альфред

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