"A Course on Mathematical Logic (Universitext)" - читать интересную книгу автора (S.M. Srivastava)