@article{BSL8_3_Csirmaz,
author = {L{\'a}szl{\'o} CSIRMAZ},
title = {On Definability in Peano Arithmetic},
journal = {Bulletin of the Section of Logic},
volume = {8},
number = {3},
year = {1979},
pages = {148--153}
}