Geodesic
A definition of exponentiation by a bounded arithmetical formula
Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 4, pp. 667-671.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03F30 
@article{CMUC_1983__24_4_a7,
     author = {Pudl\'ak, Pavel},
     title = {A definition of exponentiation by a bounded arithmetical formula},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {667--671},
     publisher = {mathdoc},
     volume = {24},
     number = {4},
     year = {1983},
     mrnumber = {738562},
     zbl = {0533.03032},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1983__24_4_a7/}
}
TY  - JOUR
AU  - Pudlák, Pavel
TI  - A definition of exponentiation by a bounded arithmetical formula
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1983
SP  - 667
EP  - 671
VL  - 24
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1983__24_4_a7/
LA  - en
ID  - CMUC_1983__24_4_a7
ER  - 
%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
Pudlák, Pavel. A definition of exponentiation by a bounded arithmetical formula. Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 4, pp. 667-671. http://geodesic.mathdoc.fr/item/CMUC_1983__24_4_a7/