mathematical logic

Our editors are putting together more complete content — check back in about 20 minutes

mathematical logic — noun

1. The study of formal logic within mathematics.

1.noun
Definition

The study of formal logic within mathematics.

Example

She is taking a course in mathematical logic this semester.