"Hein J. Discrete structures, logic and computability (JaB, 1995)(600dpi)(T)(949s)_MAml_.djvu" - читать интересную книгу автора