Яшин Александр Данилович

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

1. Константа Сметанича и метод конечной канонической модели
   А. Д. Яшин
   Международная школа-семинар "Синтаксис и семантика логических систем"