"Barendregt H. Lambda-ischislenie (Mir, 1985) (ru)(L)(304s).djvu" - читать интересную книгу автора