Effectively infinite classes of weak constructivizations of
Algebra i logika, Tome 32 (1993) no. 6, pp. 631-664
@article{AL_1993_32_6_a3,
author = {S. S. Goncharov},
title = {Effectively infinite classes of weak constructivizations of},
journal = {Algebra i logika},
pages = {631--664},
year = {1993},
volume = {32},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1993_32_6_a3/}
}
S. S. Goncharov. Effectively infinite classes of weak constructivizations of. Algebra i logika, Tome 32 (1993) no. 6, pp. 631-664. http://geodesic.mathdoc.fr/item/AL_1993_32_6_a3/