"Гильберт,Аккерман;_Основы_теоретической_логики,1947.pdf" - читать интересную книгу автора