"Enderton H.B. A mathematical introduction to logic (2ed., Harcourt, 2001)(K)(T)(326s)_MAml_.djvu" - читать интересную книгу автора