Akademik

formal logic

noun

a) Mathematical logic.

b) A particular logical calculus.

Wikipedia foundation.