Larry M. Manevitz Jonathan Stavi Triangle <sup>0</sup><sub>2</sub> Operators and Alternating Sentences in Arithmetic. 144-154 1980 45 J. Symb. Log. 1 db/journals/jsyml/jsyml45.html#ManevitzS80