RUS
ENG
Full version
JOURNALS
// Trudy Matematicheskogo Instituta imeni V.A. Steklova
// Archive
Trudy Mat. Inst. Steklov.,
1964
Volume 72,
Pages
383–436
(Mi tm1616)
Constructive complex analysis
On predicate and operator variants of the formation of the theories of constructive mathematics
G. E. Mints
Fulltext:
PDF file (4689 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025