The central role of mathematical logic in computer science