"Введение в логику и методологию дедуктивных наук" - читать интересную книгу автора (Тарский А. (Tarski A.))