Matematikala logiko

Ica artiklo bezonas revizo da ula persono qua konocas ambe Ido, ed ica temo ciencala, teknologiala, matematikala, filozofiala, sportala, edc.
Ka vu povas helpar ni revizar ol?

Matematikala logiko esas fako de logiko e matematiko. Ol konsistas ek la matematikala studio di la logiko e l'aplikado di ta studii ad altra faki de 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 pruvo sistemi.