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