Сборник задач по математической логике, (исчисления предикатов, теория моделей, теория вычислимости), учебное пособие, [для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"]
9785443703145/[2015-14304]/русский/Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : [для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"] / А. В. Кравченко, О. В. Кудинов ; М-во образования и науки РФ, Новосиб. гос. ун-т, Мех.-мат. фак., Каф. дискрет. математики и информатики.Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : [для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"] / А. В. Кравченко, О. В. Кудинов.Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : [для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"].Новосибирск/НГУ/, 2014 ( ). - НГУ, 2014. - 75 с. ; 21 см.Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : [для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"]. Новосибирск, 2014 .Математическая логика -- Задачники/nlr_sh1/nlr_sh2/В12я73-4/