|
MATHEMATICS
A version of the constructive calculus of predicates without structural deduction rules
R. A. Pliuškevičius Institute of Physics and Mathematics of the Academy of Sciences of the Lithuanian SSR
Citation:
R. A. Pliuškevičius, “A version of the constructive calculus of predicates without structural deduction rules”, Dokl. Akad. Nauk SSSR, 161:2 (1965), 292–295
Linking options:
https://www.mathnet.ru/eng/dan30857 https://www.mathnet.ru/eng/dan/v161/i2/p292
|
|