Mathematical logic is considered by many to be synonymous with symbolic or formal logic. However, it is also described as the branch of formal logic that investigates the logical foundations of mathematics. That definition is used here.

See the mathematical logic glossary for common terms and their definition.

Logic | Mathematics

Катэгорыя:Матэматычная лёгіка | Категория:Математическа логика | Kategorio:Matematika logiko | Catégorie:Logique mathématique | Flokkur:Stærðfræðileg rökfræði | Categoria:Logica matematica | קטגוריה:לוגיקה מתמטית | Kategória:Matematikai logika | Категория:Математическая логика | Category:數理邏輯