Normal view
MARC view
Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" Электронный ресурс [учебное пособие для студентов и аспирантов] Моск. гос. ун-т им. М. В. Ломоносова, Механико-математ. фак. ; [отв. ред. А. Б. Угольников]
Material type:
TextPublication details: Москва Издательство ЦПИ при механико-математическом факультете МГУ им. М. В. Ломоносова 2007Description: 1 онлайн-ресурс (191 с.) илSubject(s): математическая логика | функции алгебры логики | функции многозначной логики | исчисление предикатов | логика предикатов | логические сети | автоматов теория | функции вычислимые | алгоритмыOnline resources: Click here to access online
No physical items for this record
Библиогр. в подстроч. примеч.
There are no comments on this title.