Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications