|
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
Citation:
G. E. Mints, V. P. Orevkov, “A generalization of the theorems of V. I. Glivenko and G. Kreisel to a class of formulae of the predicate calculus”, Dokl. Akad. Nauk SSSR, 152:3 (1963), 553–554
Linking options:
https://www.mathnet.ru/eng/dan28590 https://www.mathnet.ru/eng/dan/v152/i3/p553
|
Statistics & downloads: |
Abstract page: | 124 | Full-text PDF : | 73 |
|