Toshiyasu Arai. Derivability Conditions on Rosser s Provability Predicates. Notre Dame Journal of Formal Logic, 31(4):487-497, 1990.
@article{Arai90,
title = {Derivability Conditions on Rosser s Provability Predicates},
author = {Toshiyasu Arai},
year = {1990},
researchr = {https://researchr.org/publication/Arai90},
cites = {0},
citedby = {0},
journal = {Notre Dame Journal of Formal Logic},
volume = {31},
number = {4},
pages = {487-497},
}