MATHEMATICS

Unsolvability in constructive predicate calculus of a class of formulas of type $\daleth\daleth\forall\exists$

V. P. Orevkov

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

Presented: P. S. Novikov
Received: 03.01.1965

Bibliographic databases:

• 
•