@article{paperid:1053933,
author = {Mohammad Ardeshir and Ramezanian, Rasoul},
title = {A Solution to the Surprise Exam Paradox in Constructive Mathematics},
journal = {Review of Symbolic Logic},
year = {2012},
volume = {5},
number = {4},
month = {December},
issn = {1755-0203},
pages = {679--686},
			numpages = {7},
keywords = {Type 2 Turing machine; paradox},
}