Введение в логику и методологию дедуктивных наук - Тарский, Альфред 1901-1983 (Издательство иностранной литературы, 1948)