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

Trudy Mat. Inst. Steklov., 1964 Volume 72, Pages 69–98 (Mi tm1610)

This article is cited in 3 papers

General theory of algorithms and calculuses

A method of presenting the theory of algorithms and enumerable sets

G. S. Tseitin




Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025