%0 Journal Article %1 journals/jsyml/Beklemishev96 %A Beklemishev, Lev D. %D 1996 %J J. Symb. Log. %K dblp %N 1 %P 91-124 %T Bimodal Logics for Extensions of Arithmetical Theories. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml61.html#Beklemishev96 %V 61

@article{journals/jsyml/Beklemishev96, added-at = {2014-08-05T00:00:00.000+0200}, author = {Beklemishev, Lev D.}, biburl = {https://www.bibsonomy.org/bibtex/260236bfd2363fabf6102ab5dc4c585cb/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183744929}, interhash = {6a07890bea9612b5ee59709feab600a3}, intrahash = {60236bfd2363fabf6102ab5dc4c585cb}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {91-124}, timestamp = {2015-06-18T02:32:31.000+0200}, title = {Bimodal Logics for Extensions of Arithmetical Theories.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml61.html#Beklemishev96}, volume = 61, year = 1996 }