RUS
ENG
Full version
PEOPLE
Yashin Aleksandr Danilovich
Presentations in Math-Net.Ru
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