A lot of how mathematics is formalized makes more sense once you know some logic
5 stars
I have several books, or online sources for this material and to be honest the number one thing which stands out for Margaris is pages 89–90 which list theorems of predicate logic. So helpful to see those stated explicitly.