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

UDC: 517.11

Presented: P. S. Novikov
Received: 13.07.1972

Bibliographic databases:

• 
•