TY  - JOUR
AU  - Švejdar, Vítězslav
TI  - Arithmetical classification of the set of all provably recursive functions
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1999
SP  - 631
EP  - 634
VL  - 40
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1999__40_4_a2/
LA  - en
ID  - CMUC_1999__40_4_a2
ER  -