Библиографическое описание:
Алябьева В. Г. Математическая логика. Формальная логика : учебное пособие для студентов, обучающихся
по направлениям подготовки бакалавров «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии» и по специальности «Компьютерная безопасность»/ В. Г. Алябьева ; Перм. гос. нац. исслед. ун-т. – Электрон. дан. (2,77 Мб).– Пермь, 2021. – 109 с. – ISBN 978-5-7944-3611-2. - Текст : электронный.