# Definition:Mathematical Logic

## Definition

**Mathematical logic** is a sub-branch of symbolic logic in which the foundations of the assumptions upon which rest mathematics itself are investigated and made rigorous.

## Also see

- Results about
**mathematical logic**can be found here.

## Sources

- 1965: E.J. Lemmon:
*Beginning Logic*... (previous) ... (next): $\S 1.1$: The Nature of Logic - 1993: M. Ben-Ari:
*Mathematical Logic for Computer Science*(1st ed.) ... (previous) ... (next): $\S 1.1$: The origins of mathematical logic