Computational Logic And Set Theory by Jacob T. Schwartz & Domenico Cantone