Тарський (Tarski) Альфред (р. 14.1.1902, Варшава), польський логік і математик (з 1939 живе в США). Отримані Т. результати відносяться до теорії безлічі, теорії булевої алгебри, логікам з формулами безконечної довжини і ін. розділам математичної логіки і підстав математики. Основоположний характер мають роботи Т. в моделей теорії, логічній семантиці, металогике і методології дедуктивних наук.
Соч.: Undecidable theories, N. Y., 1954 (співавтор); Logics, semantics, metamathematics, Oxf,, 1956; у русявий.(російський) пер.(переведення)— Введення в логіку і методологію дедуктивних наук, М., 1948.
