"Enderton H.B. A Mathematical Introduction to Logic (2nd ed., Academic Press, 2001)(T)(326s)_MAml_.djvu" - читать интересную книгу автора