Computational logic and set theory applying formalized logic to analysis - Schwartz, Jacob T. (Springer London, 2011)