Matematičeskaja logika i diskretnaja matematika - Karpov, Viktor G.; Moščenskij, Vlad. A. (Vyšejšaja škola, 1977)