Практикум по математическим основам информатики : методические указания для студентов вузов, обучающихся по направлению подготовки инженеров 651900 "Автоматизация и управление" специальности 210100 "Управление и информатика в технических системах" и направлению подготовки бакалавров 550200 "Автоматизация и управление". Ч. 2 : Введение в математическую логику

2004

Online access. The library also has physical copies.