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

Trudy Mat. Inst. Steklov., 1964 Volume 72, Pages 344–347 (Mi tm1614)

This article is cited in 2 papers

Constructive mathematical logic

Concerning a generalized principle of constructive selection

I. D. Zaslavsky, G. S. Tseitin




Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024