Publisher
Springer Nature Switzerland
Reference18 articles.
1. Ardeshir, M., Ramezanian, R.: A solution to the surprise exam paradox in constructive mathematics. Rev. Symbolic Logic 5, 1–8 (2012). https://doi.org/10.1017/S1755020312000160
2. Lecture Notes in Computer Science;C Benzmüller,2015
3. Chow, T.Y.: The surprise examination or unexpected hanging paradox. Am. Math. Monthly 105(1), 41–51 (1998). http://www.jstor.org/stable/2589525
4. CNRS, contributors: Coq reference manual (2021). https://coq.inria.fr/distrib/current/refman/
5. Diaconescu, R.: Axiom of choice and complementation. Proc. Am. Math. Soc. 51(1), 176–178 (1975). http://www.jstor.org/stable/2039868