@article{1045861513,
author = {Raatikainen, Panu},
title = {Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories},
journal = {J. Symbolic Logic},
volume = {68},
number = {1},
year = {2003},
pages = { 262-266},
language = {en},
url = {http://dml.mathdoc.fr/item/1045861513}
}
Raatikainen, Panu. Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories. J. Symbolic Logic, Tome 68 (2003) no. 1, pp. 262-266. http://gdmltest.u-ga.fr/item/1045861513/