"Такеути,_Теория_доказательств,1978.pdf" - читать интересную книгу автора