"A Problem Course in Mathematical Logic " - читать интересную книгу автора (Bilaniuk )