RUS  ENG
Full version
JOURNALS // Matematicheskie Trudy // Archive
Trudy Inst. Mat. SO RAN, 1993 Volume 25, Pages 35–40 (Mi mt426)
The problem of effective choice of constructivizations

Yu. G. Ventsov


UDC: 510:51



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024