ion Problem. Springer, 2001. Carroll, Lewis. Symbolic Logic. New issue of 1896 ed. Dover Publications Inc., 2000. Davis, Martin, Hilary Putnam, and Julia Robinson. “The Decision Problem for Exponential Diophantine Equations.’ Annals of Mathematics, 1961, 425-36. Dyson, Verena H., James P. Jones, and John C. Sh