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