Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TM_1967_93_a13, author = {G. E. Mints}, title = {Corrigenda and addenda to the article {``On} predicate and operator variants of the formation of the theories of constructive mathematics''}, journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova}, pages = {257--258}, publisher = {mathdoc}, volume = {93}, year = {1967}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/TM_1967_93_a13/} }
TY - JOUR AU - G. E. Mints TI - Corrigenda and addenda to the article ``On predicate and operator variants of the formation of the theories of constructive mathematics'' JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 1967 SP - 257 EP - 258 VL - 93 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TM_1967_93_a13/ LA - ru ID - TM_1967_93_a13 ER -
%0 Journal Article %A G. E. Mints %T Corrigenda and addenda to the article ``On predicate and operator variants of the formation of the theories of constructive mathematics'' %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1967 %P 257-258 %V 93 %I mathdoc %U http://geodesic.mathdoc.fr/item/TM_1967_93_a13/ %G ru %F TM_1967_93_a13
G. E. Mints. Corrigenda and addenda to the article ``On predicate and operator variants of the formation of the theories of constructive mathematics''. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 257-258. http://geodesic.mathdoc.fr/item/TM_1967_93_a13/