https://filesoo.com/product/69990/logic-a-very-short-introduction-[2nd-ed-]-without-photos-