RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklov., 1972 Volume 121, Pages 109–135 (Mi tm3114)
A sequential variant of the arithmetical system of R. Robinson that does not contain cut type rules

A. Y. Plushkevichene


UDC: 51.01 : 164


 English version: Proceedings of the Steklov Institute of Mathematics, 1972, 121, 121–150

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025