Algebra i logika, Tome 38 (1999) no. 6, pp. 697-722
Citer cet article
S. Yu. Podzorov. Computable classes of constructivizations of $2$-constructivizable models. Algebra i logika, Tome 38 (1999) no. 6, pp. 697-722. http://geodesic.mathdoc.fr/item/AL_1999_38_6_a3/
@article{AL_1999_38_6_a3,
author = {S. Yu. Podzorov},
title = {Computable classes of constructivizations of $2$-constructivizable models},
journal = {Algebra i logika},
pages = {697--722},
year = {1999},
volume = {38},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1999_38_6_a3/}
}
TY - JOUR
AU - S. Yu. Podzorov
TI - Computable classes of constructivizations of $2$-constructivizable models
JO - Algebra i logika
PY - 1999
SP - 697
EP - 722
VL - 38
IS - 6
UR - http://geodesic.mathdoc.fr/item/AL_1999_38_6_a3/
LA - ru
ID - AL_1999_38_6_a3
ER -
%0 Journal Article
%A S. Yu. Podzorov
%T Computable classes of constructivizations of $2$-constructivizable models
%J Algebra i logika
%D 1999
%P 697-722
%V 38
%N 6
%U http://geodesic.mathdoc.fr/item/AL_1999_38_6_a3/
%G ru
%F AL_1999_38_6_a3
