@article{paperid:1053935,
author = {Mohammad Ardeshir and Ramezanian, Rasoul},
title = {The double negation of the intermediate value theorem},
journal = {Annals of Pure and Applied Logic},
year = {2010},
volume = {161},
number = {6},
month = {March},
issn = {0168-0072},
pages = {737--744},
			numpages = {7},
keywords = {Decidability; Intuitionistic mathematics; The intermediate value theorem},
}