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.

Applicatio logicae mathematicae: Rete Pert ad propositum septem mensis cum quinque milliaribus et sex agitationibus.

Nexus interni

Nexus externi recensere