RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive
Dokl. Akad. Nauk SSSR, 1965 Volume 161, Number 2, Pages 292–295 (Mi dan30857)
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

Presented: P. S. Novikov
Received: 08.09.1964



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024