%0 Journal Article %1 journals/jsyml/Visser92 %A Visser, Albert %D 1992 %J J. Symb. Log. %K dblp %N 1 %P 131-165 %T An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0+Omega1 with a Propositional Constant for EXP. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml57.html#Visser92 %V 57

@article{journals/jsyml/Visser92, added-at = {2014-08-05T00:00:00.000+0200}, author = {Visser, Albert}, biburl = {https://www.bibsonomy.org/bibtex/2ada2f7a7f9405680fdc6e3e5261a802e/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183743896}, interhash = {38ac56baa233b465dd02ffa367954e89}, intrahash = {ada2f7a7f9405680fdc6e3e5261a802e}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {131-165}, timestamp = {2015-06-18T02:26:08.000+0200}, title = {An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0+Omega1 with a Propositional Constant for EXP.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml57.html#Visser92}, volume = 57, year = 1992 }