@article{CMUC_1999__40_4_a2,
     author = {\v{S}vejdar, V{\'\i}t\v{e}zslav},
     title = {Arithmetical classification of the set of all provably recursive functions},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {631--634},
     publisher = {mathdoc},
     volume = {40},
     number = {4},
     year = {1999},
     mrnumber = {1756541},
     zbl = {1010.03049},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1999__40_4_a2/}
}