ยง
Resolution and first order logic (WIP)
Stanford intro to logic