"Normalization, Cut-Elimination, and the Theory of Proofs (Center for the Study of Language and Information - Lecture Notes)" - читать интересную книгу автора (A. M. Ungar)