The Art and Science of Logic