%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
%U http://geodesic.mathdoc.fr/item/CMUC_1986_27_1_a2/
%G en
%F CMUC_1986_27_1_a2