La norme du vrai [Engel,Pascal]: Philosophie de la logique

Проблема истины в логике (в т. ч. применительно к формализованным логическим теориям и исчислениям), сопоставление различных ее трактовок. Критерии истины и способы верификации формальных логических структур, вклад Г. Фреге, У. Куайпа, А. Тарского в решение данной задачи ;