|
MATHEMATICS
Certain reduction classes and solvable classes of sequents for the constructive calculus of predicates
V. P. Orevkov Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences
Citation:
V. P. Orevkov, “Certain reduction classes and solvable classes of sequents for the constructive calculus of predicates”, Dokl. Akad. Nauk SSSR, 163:1 (1965), 30–32
Linking options:
https://www.mathnet.ru/eng/dan31285 https://www.mathnet.ru/eng/dan/v163/i1/p30
|
Statistics & downloads: |
Abstract page: | 98 | Full-text PDF : | 44 |
|