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