Расписание занятий
En
Мытищинский филиал МГТУ им. Н. Э. Баумана
Назад

Математическая логика

Структурирована система аксиом конструктивистского исчисления и многозначной логики.

Сведения об авторах:
  • В.А. Шачнев, д. ф.-м. наук, профессор
Контактная информация:
    Россия, 141005, Мытищи-5, Московская область, МГУЛ, кафедра высшей математики
    E-mail: caf-math@mgul.ac.ru
    Tел.: (498) 687-38-91, 687-43-94