I am looking for resources for an introduction to formal logic, with the aim of being able to understand a proof of Gödel's completeness theorem for 1st order logic. I have some background in set theory and algebra (mathematics undergraduate degree), but I never took courses in formal logic or foundations of mathematics.
A lot of the introduction books and web resources I find are oriented toward someone with a more philosophical less mathematical background, or are very detailed in outlining the problems encountered in trying to make logical interpretations of natural language sentences. I would be particularly interested if anyone had any recommendations of online resources (videos, or websites), as well as texts that specifically describe first order logic in a mathematically concrete and concise way.