"Stenlund S. Combinators,lambda-terms and proof theory(1972)(T)(187s)(600dpi)_MAml_.djvu" - читать интересную книгу автора