Тип видання: Навчальні посібники
Рік видання: 2013
Автори – Микола Комарницький, Василь Андрійчук, Іванна Мельник
Редактор – Наталія Плиса. Технічний редактор – Світлана Сеник. Коректор – Юліанна Бурка.
Викладено основи математичної логіки та теорії рекурсії. Розглянуто алгебру висловлень, числення висловлень і числення предикатів, основні поняття теорії рекурсії. Окремий розділ присвячено викладенню елементів теорії моделей. Для студентів математичних спеціальностей вищих навчальних закладів, аспірантів, викладачів і всіх, хто цікавиться математичною логікою.
Комарницький М. Я. Елементи математичної логіки та теорії рекурсії : навчальний посібник / М. Я. Комарницький, В. І. Андрійчук, І. О. Мельник. – Львів : ЛНУ імені Івана Франка, 2013. – 282 с. ISBN 978-617-10-0054-4.