@article{paperid:1053926,
author = {Mohammad Ardeshir and Ramezanian, Rasoul},
title = {Decidability and Specker Sequences in Intuitionistic Mathematics},
journal = {Mathematical Logic Quarterly},
year = {2009},
volume = {55},
number = {6},
month = {November},
issn = {0942-5616},
pages = {637--648},
			numpages = {11},
keywords = {Decidability; intuitionistic mathematics; Specker sequences},
}