Герасимов Александр Сергеевич

Доклады и лекции в базе данных Math-Net.Ru

1. Исчисления и поиск вывода для бесконечнозначной логики Лукасевича первого порядка
   А. С. Герасимов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   17 декабря 2018 г. 18:30