数理逻辑经常被认为是符号逻辑或形式逻辑的同义词。但它也被描述为研究数学的逻辑基础的形式逻辑分支,这里使用的就是这个定义。
Катэгорыя:Матэматычная лёгіка | Категория:Математическа логика | Category:Mathematical logic | Catégorie:Logique mathématique | קטגוריה:לוגיקה מתמטית | Kategória:Matematikai logika | Flokkur:Stærðfræðileg rökfræði | Categoria:Logica matematica | Категория:Математическая логика
This article is licensed under the GNU Free Documentation License.
It uses material from the
"Category:數理邏輯".
Home Page • arts • business • computers • games • health • hospitals • home • kids & teens • news • physicians • recreation• reference • regional • science • shopping • society • sports • world