"Computational Logic and Set Theory: Applying Formalized Logic to Analysis " - читать интересную книгу автора (Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo)