"Справочная_книга_по_мат.логике,ч1,1982.pdf" - читать интересную книгу автора