%0 Journal Article %1 journals/mlq/Shavrukov91 %A Shavrukov, V. Yu. %D 1991 %J Math. Log. Q. %K dblp %N 19-22 %P 317-330 %T On Rosser's Provability Predicate. %U http://dblp.uni-trier.de/db/journals/mlq/mlq37.html#Shavrukov91 %V 37

@article{journals/mlq/Shavrukov91, added-at = {2015-06-15T00:00:00.000+0200}, author = {Shavrukov, V. Yu.}, biburl = {https://www.bibsonomy.org/bibtex/2b823593face50b1d1b1a870b9c1a116d/dblp}, ee = {http://dx.doi.org/10.1002/malq.19910371906}, interhash = {cc314b8ad7dc0d7effe02a2d5fa384a4}, intrahash = {b823593face50b1d1b1a870b9c1a116d}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {19-22}, pages = {317-330}, timestamp = {2015-06-17T21:16:49.000+0200}, title = {On Rosser's Provability Predicate.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq37.html#Shavrukov91}, volume = 37, year = 1991 }