My recommendation is to focus on these two items and ignore everything else until then: 1) Logical quantifiers: ∃ ("there exists") and ∀ ("for all"). Quantifiers can get confusing when they get strung together. I like to think of them as challenge-response games. For example, your real analysis textbook asserts that a function f is continuous at x if ∀ e>0, ∃ d>0 such that if |x0-x| disprove and the ∃ player (Daniel)…
This is standardly called "game-theoretic semantics" in the literature. Enthusiasts can find more info here (or just by Googling around): https://plato.stanford.edu/entries/logic-games/#SemGam