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