English

edit
 
English Wikipedia has an article on:
Wikipedia

Noun

edit

formal logic (countable and uncountable, plural formal logics)

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