Introduction to Logic: Second Edition (Synthesis Lectures on Computer Science)