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
Fulltext:
PDF file (396 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024