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