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