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. 

Argumentatio
Formula bene formata
Gottlob Frege
Logica modalis
Logica propositionalis
Philosophia mathematicae
Signatura (logica)
Theoria copiarum

Nexus externi
Commentarius de logica ex situ Britannica.

http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/ml.pdf
https://www.karlin.mff.cuni.cz/~krajicek/mendelson.pdf

Mathematica