Computational logic and set theory : Applying Formalized Logic to Analysis (2011)