Тарский А. Введение в логику и методологию дедуктивных наук

Москва: Государствениое издательство иностранной литературы, 1948. — 328 c. Текстовый слой, Оглавление. А.Тарский (1902-1983) - польский логик и математик, основоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. Предлагаемая читателям книга, несмотря на используемый в ней символический язык формул, представляет собой общедоступное введение в круг проблем, образующих смысловое пространство научной теории, опирающейся на логические выводы.