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.
This article uses material from the Wikipedia Ido article Matematikala logiko, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). La kontenajo esas disponebla sub CC BY-SA 4.0, ecepte kande kontree mencionata. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Ido (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.