"Decidable Theories I" - читать интересную книгу автора (Siefkes D.)