"Элементарное введение в математическую логику. Пособие для учителей" - читать интересную книгу автора (Столяр А. А.)