Category:Mathematical logic
From Free net encyclopedia
Revision as of 17:35, 13 April 2006; view current revision
←Older revision | Newer revision→
←Older revision | Newer revision→
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.be:Катэгорыя:Матэматычная лёгіка bg:Категория:Математическа логика fr:Catégorie:Logique mathématique is:Flokkur:Stærðfræðileg rökfræði it:Categoria:Logica matematica he:קטגוריה:לוגיקה מתמטית hu:Kategória:Matematikai logika ru:Категория:Математическая логика zh:Category:數理邏輯