Results on automorphisms of recursively saturated models of PA
Tom 129 / 1988
Fundamenta Mathematicae 129 (1988), 9-15
DOI: 10.4064/fm-129-1-9-15
