Современный толковый словарь - тарский (тarski) альфред (1902-83)

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