Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предиктов и их семантике, связанной с алгебраическими системами.
Учебное пособие, издание второе, исправленное и дополненное Количество страниц: 100 Год издания: 2018 ISBN 978-5-4437-0730-3