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