"Lawvere F.W. Diagonal arguments and Cartesian closed categories (p.134 and ff. from Topoi collection)(600dpi)(T)(12s)_MAct_.djvu" - читать интересную книгу автора