|
MATHEMATICS
Formulas of the restricted predicate calculus which distinguish certain classes of models with simply computable predicates
V. S. Shevyakov Institute of Precision Mechanics and Computer Equipment, Moscow
Citation:
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
Linking options:
https://www.mathnet.ru/eng/dan37653 https://www.mathnet.ru/eng/dan/v210/i2/p285
|
|