TY  - JOUR
AU  - Mlček, Josef
TI  - A representation of models of Peano arithmetic
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1973
SP  - 553
EP  - 558
VL  - 14
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1973__14_3_a10/
LA  - en
ID  - CMUC_1973__14_3_a10
ER  -