Автор:Верещагин Н.К. Год: 2007 Издание:ФИЗМАТЛИТ Страниц: [не указано] ISBN: 5922102788, 9785922102780 В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных...