Тарский (Tarski) Альфред (1902-83) статья в Большом энциклопедическом интернет словаре

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

В других словарях:
...