What is Mathematical Logic?

Mathematical logic are connections between computer science and applications of formal logic in numerous areas of mathematics. The different themes of mathematical logic are formal and proof systems. To find more information click here: