%0 Journal Article %1 journals/sLogica/Shavrukov91 %A Shavrukov, V. Yu. %D 1991 %J Stud Logica %K dblp %N 1 %P 143-148 %T The Lindenbaum fixed point algebra is undecidable. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica50.html#Shavrukov91 %V 50

@article{journals/sLogica/Shavrukov91, added-at = {2020-09-01T00:00:00.000+0200}, author = {Shavrukov, V. Yu.}, biburl = {https://www.bibsonomy.org/bibtex/2bf7870f75cf1f7861f91ab8604b947fb/dblp}, ee = {https://doi.org/10.1007/BF00370392}, interhash = {5f55d662dfc4e83d014f45debb7fbe62}, intrahash = {bf7870f75cf1f7861f91ab8604b947fb}, journal = {Stud Logica}, keywords = {dblp}, number = 1, pages = {143-148}, timestamp = {2020-09-09T12:37:31.000+0200}, title = {The Lindenbaum fixed point algebra is undecidable.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica50.html#Shavrukov91}, volume = 50, year = 1991 }