Matematikala logiko

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.