§ Resolution and first order logic (WIP)

• Stanford intro to logic