@article{CMUC_1973__14_3_a10,
     author = {Ml\v{c}ek, Josef},
     title = {A representation of models of {Peano} arithmetic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {553--558},
     publisher = {mathdoc},
     volume = {14},
     number = {3},
     year = {1973},
     mrnumber = {0323561},
     zbl = {0284.02029},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1973__14_3_a10/}
}