\input zb-basic
\input zb-ioport
\iteman{io-port 03663130}
\itemau{Guaspari, D.; Solovay, R.M.}
\itemti{Rosser sentences.}
\itemso{Ann. Math. Logic 16, 81-99 (1979).}
\itemcc{}
\itemut{Rosser sentences; interpretation of modal logic in Peano arithmetic}
\itemli{doi:10.1016/0003-4843(79)90017-2}
\end