"Упражнения по основам математической логики" - читать интересную книгу автора (Михайлов А.Б., Рыжова Н.И., Швецкий М.В.)