Matematikala logiko: Diferi inter la revizi

'''Matematikala logiko''' esesas subfeldo di [[logiko]] e [[matematiko]]. Konsistas amba di matematikala studio di logiko e l'apliko di ta studio ad altra feldi di matematiko. Matematikala logiko havas proxim konekti ad [[informatiko]]. Uniganta temi en matematikala logiko inkluzas l'expresoza povo di [[formala sistemo]] e la deduktala povo di formala [[matematikala pruvo|pruvo]] sistemi.