%0 Journal Article %1 journals/fuin/Zdanowski19 %A Zdanowski, Konrad %D 2019 %J Fundam. Informaticae %K dblp %N 4 %P 375-386 %T One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability. %U http://dblp.uni-trier.de/db/journals/fuin/fuin164.html#Zdanowski19 %V 164

@article{journals/fuin/Zdanowski19, added-at = {2020-09-18T00:00:00.000+0200}, author = {Zdanowski, Konrad}, biburl = {https://www.bibsonomy.org/bibtex/2c6a873f71e5bab83df14096d296b6ae8/dblp}, ee = {https://doi.org/10.3233/FI-2019-1774}, interhash = {a0107e16bbd97aed3b212135a858c338}, intrahash = {c6a873f71e5bab83df14096d296b6ae8}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 4, pages = {375-386}, timestamp = {2020-09-19T11:35:50.000+0200}, title = {One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin164.html#Zdanowski19}, volume = 164, year = 2019 }