"Введение в математическую логику" - читать интересную книгу автора (Колмогоров А.Н., Драгалин А.Г.)