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