This article is cited in 1 paper

MATHEMATICS

An inverse method of establishing deducibility in the classical predicate calculus

S. Yu. Maslov

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

Presented: P. S. Novikov
Received: 12.05.1964

Bibliographic databases:

• 
•