Logica mathematica
Logica mathematica est disciplina mathematicae, quae conor sancire discernereque logicam ut facile sit utilis in mathematica. Logica est ratiocinatio, logica mathematica symbola adhibere vult. Plerumque logicae mathematicae est excultum in saeculis 19 et 20. Coniungitur cum metamathematica, fundamentis mathematica, et scientia computationis theoreticae. Mathematicum logicum studia systematis formalis et ratiocinativa deductiva, rationis systematis formalis in unum coniugunt.