%0 Journal Article
%A Pudlák, Pavel
%T A definition of exponentiation by a bounded arithmetical formula
%J Commentationes Mathematicae Universitatis Carolinae
%D 1983
%P 667-671
%V 24
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1983__24_4_a7/
%G en
%F CMUC_1983__24_4_a7