Matematikala logiko

De Wikipedio
Irez ad: pilotado, serchez

Matematikala logiko esas 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 pruvo sistemi.