"Smullyan R. Recursion theory for metamathematics (Oxford, 1993)(600dpi)(T)(175s)_MAml_.djvu" - читать интересную книгу автора