RUS  ENG
Full version
PEOPLE

Yashin Aleksandr Danilovich

Presentations in Math-Net.Ru

  1. The Smetanich constant and finite canonical model method
    A. D. Yashin
    International workshop "Syntax and semantics of logical systems"


© Steklov Math. Inst. of RAS, 2025