Logic Primer, third edition