Конспект лекцій з математичної логіки та теорії алгоритмів (Трохименко В.С.)

Конспект лекцій відповідає діючій програмі з математичної логіки та теорії алгоритмів для математичних спеціальностей педагогічних університетів. Ним можуть користуватися не тільки студенти стаціонарного відділення, але й заочно, та особи, які вивчають цей курс самостійно.