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