This article is cited in 1 paper

MATHEMATICS

Inverse method of establishing deducibility for non-prenex formulas of 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:

• 
•