\input zb-basic
\input zb-ioport
\iteman{io-port 03670449}
\itemau{Mashuryan, A.S.}
\itemti{\"Uber eine Klasse primitiv rekursiver Funktionen.}
\itemso{Dokl. Akad. Nauk Arm. SSR 69, 209-212 (1979).}
\itemcc{}
\itemut{primitive recursive function model; Peano arithmetic; finite inductive models}
\itemli{}
\end