%0 Journal Article %1 journals/jphil/Visser84 %A Visser, Albert %D 1984 %J J. Philosophical Logic %K dblp %N 1 %P 97-113 %T The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic. %U http://dblp.uni-trier.de/db/journals/jphil/jphil13.html#Visser84 %V 13

@article{journals/jphil/Visser84, added-at = {2015-07-10T00:00:00.000+0200}, author = {Visser, Albert}, biburl = {https://www.bibsonomy.org/bibtex/239310ecf75d76572bb66fd7e7453f26e/dblp}, ee = {http://dx.doi.org/10.1007/BF00297579}, interhash = {02a27a54cd46ffed1f74dc22d977e1b7}, intrahash = {39310ecf75d76572bb66fd7e7453f26e}, journal = {J. Philosophical Logic}, keywords = {dblp}, number = 1, pages = {97-113}, timestamp = {2015-07-11T11:34:02.000+0200}, title = {The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/jphil/jphil13.html#Visser84}, volume = 13, year = 1984 }