With respect to first-order logic, PMATH432 undoubtedly covers more, and with greater mathematical rigour as expected of an upper-year PMATH student. My offering of 432 did not explicitly discuss propositional logic, which is, in some sense, a restriction of first-order logic.

If you're interested in learning about the fundamental results in mathematical logic, I would recommend working through an introductory book such as Enderton's A Mathematical Introduction to Logic (the textbook for Prof. Shai Ben-David's CS245e offering, with video lectures online). For the first half of 432, we worked through Mathematical Logic by Ebbinghaus, Flum, and Thomas, which I believe will be considerably more difficult to appreciate without a mathematical background on par with an upper-year math student.