Henryk Kotlarski An Addition to Rosser's Theorem. 285-292 1996 61 J. Symb. Log. 1 db/journals/jsyml/jsyml61.html#Kotlarski96