%0 Journal Article
%A Švejdar, Vítězslav
%T Arithmetical classification of the set of all provably recursive functions
%J Commentationes Mathematicae Universitatis Carolinae
%D 1999
%P 631-634
%V 40
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1999__40_4_a2/
%G en
%F CMUC_1999__40_4_a2