RUS  ENG
Full version
PEOPLE

Shevyakov V S

Publications in Math-Net.Ru

  1. Formulas of the restricted predicate calculus which distinguish certain classes of models with simply computable predicates

    Dokl. Akad. Nauk SSSR, 210:2 (1973),  285–287

© Steklov Math. Inst. of RAS, 2024