Public
This is my notes for Math 220 at UBC. It follows the PLP and Andrew Rechnitzer's "First course on mathematical proof" series on youtube
Mathematical Proof - Math 220
Login
Select the node which satisfies the relationship