%0 Journal Article %1 journals/jsyml/Raatikainen03 %A Raatikainen, Panu %D 2003 %J J. Symb. Log. %K dblp %N 1 %P 262-266 %T Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml68.html#Raatikainen03 %V 68

@article{journals/jsyml/Raatikainen03, added-at = {2014-08-05T00:00:00.000+0200}, author = {Raatikainen, Panu}, biburl = {https://www.bibsonomy.org/bibtex/2b00c784248f8705e73f1a2ca6b70336f/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1045861513}, interhash = {a97f0638cc8877159ca4ec698e9b9e9b}, intrahash = {b00c784248f8705e73f1a2ca6b70336f}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {262-266}, timestamp = {2015-06-18T02:34:53.000+0200}, title = {Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml68.html#Raatikainen03}, volume = 68, year = 2003 }