В учебном пособии содержится материал основного курса 'Введение в математическую логику', читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных...
V uchebnom posobii soderzhitsja material osnovnogo kursa 'Vvedenie v matematicheskuju logiku', chitaemogo na mekhaniko-matematicheskom fakultete MGU. Izlagajutsja elementy teorii mnozhestv, osnovnye ponjatija, otnosjaschiesja k semantike formalizovannykh...