Mathematical Logic : Formal study of logic applied to mathematical reasoning, involving the development and analysis of logical systems and proof theory.
Be the first to publish your research in this scientific discipline.