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