%0 Journal Article %1 journals/jsyml/Kontinen06 %A Kontinen, Juha %D 2006 %J J. Symb. Log. %K dblp %N 1 %P 188-202 %T The hierarchy theorem for second order generalized quantifiers. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml71.html#Kontinen06 %V 71

@article{journals/jsyml/Kontinen06, added-at = {2018-11-30T00:00:00.000+0100}, author = {Kontinen, Juha}, biburl = {https://www.bibsonomy.org/bibtex/22fc0086deff93d0e0db4911803b36aa3/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1140641168}, interhash = {21f887bb3c3584cfdea2b6c641d38cf4}, intrahash = {2fc0086deff93d0e0db4911803b36aa3}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {188-202}, timestamp = {2018-12-01T12:15:30.000+0100}, title = {The hierarchy theorem for second order generalized quantifiers.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml71.html#Kontinen06}, volume = 71, year = 2006 }