Logic, Mathematics, and Computer Science