Computational Logic and Set Theory Applying Formalized Logic to Analysis - Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G. (Springer London : Imprint: Springer, 2011)