%0 Journal Article %1 journals/ndjfl/GleitG90 %A Gleit, Zachari %A Goldfarb, Warren D. %D 1990 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 26-36 %T Characters and Fixed Points in Provability Logic. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl31.html#GleitG90 %V 31

@article{journals/ndjfl/GleitG90, added-at = {2020-05-21T00:00:00.000+0200}, author = {Gleit, Zachari and Goldfarb, Warren D.}, biburl = {https://www.bibsonomy.org/bibtex/24e9d7640e25c08f2c7db0fcf8ee7dd84/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093635330}, interhash = {215243f432d1d91957724762b536219b}, intrahash = {4e9d7640e25c08f2c7db0fcf8ee7dd84}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {26-36}, timestamp = {2020-05-23T12:17:12.000+0200}, title = {Characters and Fixed Points in Provability Logic.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl31.html#GleitG90}, volume = 31, year = 1990 }