Mathematical Logic

The systematic formalisation and categorisation of valid methods of reasoning is a major task of the logician. If the logician uses mathematical techniques and is is primarily concerned with the study of mathematical reasoning then that logician is concerned with mathematical logic.