MATHEMATICS

Insolvability in the constructive calculus of predicates of certain classes of formulae containing only one-place predicate variables

S. Yu. Maslov, G. E. Mints, 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:

• 
•