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.

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

Nexus interni

• 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