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






Ссылка на выделенный текст