%0 Journal Article
%T The double negation of the intermediate value theorem
%A Mohammad Ardeshir
%A  Ramezanian, Rasoul
%J Annals of Pure and Applied Logic
%@ 0168-0072
%D 2010