Попова, Светлана Владимировна. Математическая логика [Электронный ресурс]: учебное пособие для вузов по направлению подготовки магистров "Системный анализ и управление" / С.В. Попова, И.А. Ходырев; Санкт-Петербургский государственный политехнический университет. — Электрон. текстовые дан. (1 файл : 1,36 Мб). — Санкт-Петербург, 2010. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать). — Текстовый документ. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2914.pdf>.