А.Тарский (1902-1983) - польский логик и математик ~ основоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике сказали большое влияние на развитие семиотики. Предлагаемая читателям книга, несмотря на используемый в ней символический язык формул, представляет собой общедоступное введение в круг проблем, образующих смысловое пространство научной теории, опирающейся на логические выводы. Это и многое другое вы найдете в книге Введение в логику и методологию дедуктивных наук (А. Тарский)