MATHEMATICS

Application of the inverse method for establishing deducibility to the theory of decidable fragments in the classical predicate calculus

S. Yu. Maslov

Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences

UDC: 51.01:164

Presented: P. S. Novikov
Received: 03.03.1966

Bibliographic databases:

• 
•