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