|
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
Citation:
V. P. Orevkov, “Unsolvability in constructive predicate calculus of a class of formulas of type $\daleth\daleth\forall\exists$”, Dokl. Akad. Nauk SSSR, 163:3 (1965), 581–583
Linking options:
https://www.mathnet.ru/eng/dan31371 https://www.mathnet.ru/eng/dan/v163/i3/p581
|
Statistics & downloads: |
Abstract page: | 93 | Full-text PDF : | 46 |
|