Методичні рекомендації вивчення математичної логіки з використанням системи «МатЛог»
Сінько Ю.І.
Sender: Синько Юрий (28th january 2011)
Faculty of Computer Science, Physics and Mathematics :: Disciplines of the Department of Computer Science and Software Engineering :: Mathematical Logic and Theory of Algorithms