Перелік рекомендованої літератури матлогіка
Сінько Ю.І.
Надіслав: Попко Татьяна (24 січня 2012р.)
Факультет комп'ютерних наук, фізики та математики :: Дисципліни кафедри комп’ютерних наук та програмної інженерії :: Математична логіка та теорія алгоритмів (Інформатика)