Three Views of Logic: Mathematics, Philosophy, and Computer Science