MATHEMATICS

A generalization of the theorems of V. I. Glivenko and G. Kreisel to a class of formulae of the predicate calculus

G. E. Mints, V. P. Orevkov

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

Presented: P. S. Novikov
Received: 01.04.1963

Bibliographic databases:

•