Geodesic
Countable inductive definitions in AST
Commentationes Mathematicae Universitatis Carolinae, Tome 27 (1986) no. 1, pp. 17-33

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 02B99, 02K10, 03D70, 03E70 
@article{CMUC_1986__27_1_a2,
     author = {Tzouvaras, Athanossios},
     title = {Countable inductive definitions in {AST}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {17--33},
     publisher = {mathdoc},
     volume = {27},
     number = {1},
     year = {1986},
     mrnumber = {843418},
     zbl = {0614.03053},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1986__27_1_a2/}
}
TY  - JOUR
AU  - Tzouvaras, Athanossios
TI  - Countable inductive definitions in AST
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1986
SP  - 17
EP  - 33
VL  - 27
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1986__27_1_a2/
LA  - en
ID  - CMUC_1986__27_1_a2
ER  - 
%0 Journal Article
%A Tzouvaras, Athanossios
%T Countable inductive definitions in AST
%J Commentationes Mathematicae Universitatis Carolinae
%D 1986
%P 17-33
%V 27
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1986__27_1_a2/
%G en
%F CMUC_1986__27_1_a2
Tzouvaras, Athanossios. Countable inductive definitions in AST. Commentationes Mathematicae Universitatis Carolinae, Tome 27 (1986) no. 1, pp. 17-33. http://geodesic.mathdoc.fr/item/CMUC_1986__27_1_a2/