Mathematics and Logic

an independent knowledge that has applications in various disciplines, including mathematics, logic, computer science, etc.