"Мендельсон,_Введение_в_мат.логику,1971.pdf" - читать интересную книгу автора