Akademik
mathematical logic
A term for modern formal
logic
, particularly those
logical calculi
powerful enough to express classical mathematics.
Philosophy dictionary
.
Academic
.
2011
.