"Клини,_Мат.логика,1973.pdf" - читать интересную книгу автора