%0 Journal Article %1 journals/ndjfl/Arai90 %A Arai, Toshiyasu %D 1990 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 487-497 %T Derivability Conditions on Rosser's Provability Predicates. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl31.html#Arai90 %V 31

@article{journals/ndjfl/Arai90, added-at = {2020-05-21T00:00:00.000+0200}, author = {Arai, Toshiyasu}, biburl = {https://www.bibsonomy.org/bibtex/279a571515245cfeefb2ae842a01200d7/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093635585}, interhash = {94708533ad748d1e55ead404ba52639e}, intrahash = {79a571515245cfeefb2ae842a01200d7}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {487-497}, timestamp = {2020-05-23T12:18:23.000+0200}, title = {Derivability Conditions on Rosser's Provability Predicates.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl31.html#Arai90}, volume = 31, year = 1990 }