|
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
Citation:
S. Yu. Maslov, G. E. Mints, V. P. Orevkov, “Insolvability in the constructive calculus of predicates of certain classes of formulae containing only one-place predicate variables”, Dokl. Akad. Nauk SSSR, 163:2 (1965), 295–297
Linking options:
https://www.mathnet.ru/eng/dan31326 https://www.mathnet.ru/eng/dan/v163/i2/p295
|
|