RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklov., 1958 Volume 52, Pages 193–225 (Mi tm1318)
A new algorithm of derivability in a constructive calculus of statements

N. N. Vorob'ev




Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025