Full Idea
'Mathematical Logic' is a precise and complete formulation of formal logic, and is both a section of mathematics covering classes, relations, symbols etc, and also a science prior to all others, with ideas and principles underlying all sciences.
Gist of Idea
Mathematical Logic is a non-numerical branch of mathematics, and the supreme science
Source
Kurt Gödel (Russell's Mathematical Logic [1944], p.447)
Book Reference
'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.447
A Reaction
He cites Leibniz as the ancestor. In this database it is referred to as 'theory of logic', as 'mathematical' seems to be simply misleading. The principles of the subject are standardly applied to mathematical themes.