Monthly, 1993, 138-43. Blass, Andreas, and Yuri Gurevich. “Algorithms: A Quest for Absolute Definitions.’ Bulletin of the EATCS 81 (2003): 195-225. Bérger, Egon, Erich Gradel, and Yuri Gurevich. The Classical Decision Problem. Springer, 2001. Carroll, Lewis. Symbolic Logic. New issue of 1896 ed. Dover