Mathematics. Logic from Plum Books