Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Shevyakov, V S https://www.mathnet.ru/eng/person140260 List of publications on Google Scholar Publications in Math-Net.Ru Citations 1973 1. V. S. Shevyakov, “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       Organisations Lebedev Institute of Precision Mechanics and Computer Equipment