"Ершов,Палютин;_Мат.логика,1987.pdf" - читать интересную книгу автора