"Computational logic and set theory. Applying formalized logic to analysis" - читать интересную книгу автора (Schwartz J.T., Cantone D., Omodeo E.)