Category:Mathematical logic
|
Mathematical logic is considered by many to be synonmymous with symbolic or formal logic. However, it is also be described as the branch of formal logic that investigates the logical foundations of mathematics. That definition is used here.bg:КатегориÑ:МатематичеÑка логика fr:Catégorie:Logique mathématique is:Flokkur:St�r�fr��ileg r�kfr��i zh:Category:數理邏輯