%0 Journal Article %1 journals/apal/Visser95 %A Visser, Albert %D 1995 %J Ann. Pure Appl. Log. %K dblp %N 1 %P 109-142 %T A Course on Bimodal Provability Logic. %U http://dblp.uni-trier.de/db/journals/apal/apal73.html#Visser95 %V 73

@article{journals/apal/Visser95, added-at = {2020-02-21T00:00:00.000+0100}, author = {Visser, Albert}, biburl = {https://www.bibsonomy.org/bibtex/2c93d5785178219a33907c48e29be1431/dblp}, ee = {https://doi.org/10.1016/0168-0072(93)E0079-4}, interhash = {207221157d7ce0fd7bc5921af35a042a}, intrahash = {c93d5785178219a33907c48e29be1431}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 1, pages = {109-142}, timestamp = {2020-02-22T12:47:57.000+0100}, title = {A Course on Bimodal Provability Logic.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal73.html#Visser95}, volume = 73, year = 1995 }