"Элементы математической логики" - читать интересную книгу автора (Лапшева Е.Е. Саратовский государственный...)