%0 Journal Article
%A Gruska, Jozef
%T Induction in formal languages. Some properties of reducing transformations and of isolable sets
%J Czechoslovak Mathematical Journal
%D 1965
%P 406-415
%V 15
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1965.100683/
%R 10.21136/CMJ.1965.100683
%G en
%F 10_21136_CMJ_1965_100683