%0 Journal Article
%T Decidability and Specker Sequences in Intuitionistic Mathematics
%A Mohammad Ardeshir
%A  Ramezanian, Rasoul
%J Mathematical Logic Quarterly
%@ 0942-5616
%D 2009