Тарский Альфред Математик и логик, работы которого оказали большое влияние на становление и развитие математической логики