formal logic

English

Wikipedia has an article on:

Mathematical logic

Wikipedia

Noun

formal logic (plural formal logics)

1. (logic) Mathematical logic.
2. (logic) A particular logical calculus.