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