What is the difference between mathematical logic and formal logic?

Formal logic, also known as ordinary logic, is a science that studies the forms of thought and their structure, and the laws of thought.

Mathematical logic, also known as symbolic logic, is a discipline that uses mathematical methods to study questions about reasoning and proof.

The former studies the form of thinking and its structure, the laws of thinking, but also the study of definition, division, analysis, synthesis, test, hypothesis and other logical methods.

The main contents of the latter are propositional algorithm, predicate algorithm, algorithm theory, recursion theory, proof theory, model theory, and set theory, etc.