Mathematical logic

Mathematical logic (also symbolic logic, formal logic, or, less frequently, modern logic) is a subfield of mathematics with close connections to the foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics.

Leave a Reply