RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive

Trudy Mat. Inst. Steklov., 1967 Volume 93, Pages 3–42 (Mi tm2824)

General theory of algorithms and calculuses

The concept of strict representability in the general theory of calculi

S. Yu. Maslov


UDC: 51.01+518.5



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024