Category:Mathematical logic

lógica matemática (es); Stærðfræðileg rökfræði (is); Logik matematik (ms); Математическа логика (bg); Okusengekensonga okw'ekibalo(Mathematical logic) (lg); ریاضیاتی منطق (ur); matematisk logik (sv); математична логіка (uk); мантиқи риёзӣ (tg); Matematikala logiko (io); Mathematische Logik (gsw); 수리 논리학 (ko); matematika logiko (eo); математичка логика (mk); Matematička logika (bs); Lochica matematica (an); গাণিতিক যুক্তিবিজ্ঞান (bn); logique mathématique (fr); Logika matématika (jv); Математикăлла логика (cv); Logic toán (vi); Matemātiskā loģika (lv); Wiskundige logika (af); математичка логика (sr); lógica matemática (pt-br); mathematical logic (sco); matematisk logikk (nn); formal logikk (nb); riyazi məntiq (az); mathematical logic (en); منطق رياضي (ar); သင်္ချာယုတ္တိဗေဒ (my); 數學邏輯 (yue); Matematikai logika (hu); Logika matematiko (eu); Lóxica matemática (ast); lògica matemàtica (ca); rhesymeg fathemategol (cy); Loighic mhatamaiticiúil (ga); մաթեմատիկական տրամաբանություն (hy); 数理逻辑 (zh); matematisk logik (da); მათემატიკური ლოგიკა (ka); 数理論理学 (ja); לוגיקה מתמטית (he); Logica mathematica (la); गणितीय तर्कशास्त्र (hi); 数理逻辑 (wuu); Lógica matemática (mwl); logica matematica (it); Logika matematika (id); матэматычная лёгіка (be-tarask); Matemaatiline loogika (et); matematická logika (cs); Matematik mantiq (uz); Logica Matematica (oc); Logjika matematikore (sq); Matematiksel mantık (tr); منطق ریاضی (fa); lógica matemática (pt); wiskundige logica (nl); математическая логика (ru); Математикалык логика (ky); Simbolinė logika (lt); Matematična logika (sl); Matematikal na lohika (tl); ගණිතමය තර්කණය (si); матэматычная логіка (be); คณิตตรรกศาสตร์ (th); logika matematyczna (pl); Rianas matamataigeach (gd); Matematička logika (sh); Matematická logika (sk); mathematische Logik (de); Logica Matematica (lij); logică matematică (ro); Lóxica matemática (gl); Matematička logika (hr); Μαθηματική λογική (el); matemaattinen logiikka (fi) campo della matematica (it); 論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする数学の関連分野 (ja); discipline des mathématiques étudiant celles-ci en tant que langage (fr); subfield o mathematics splorin the applications o formal logic tae mathematics (sco); разьдзел матэматыкі (be-tarask); dziedzina matematyki (pl); parte de la lógica y las matemáticas (es); obor matematiky (cs); раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и пр. (ru); exercícios de proposição (pt); Teilgebiet der Mathematik (de); matematiikan osa-alue (fi); subfield of mathematics (en); العلم الذي يبحث في القواعد التي تتبع في التفكير وطرق الاستدلال الصحيح (ar); 數學子領域 (zh); Locke8290 (zh-hant) lógica simbólica, neopositivistas lógicos, lógica, logica matematica, logica simbolica, neopositivistas logicos, logica (es); 數理邏輯, 符號邏輯 (yue); Lògica simbòlica, Metamatemàtica (ca); Logik, Logistik, symbolische Logik, Metamathematik (de); Logjika Matematikore, Logjika matematike (sq); منطق نمادی, منطق صوری (fa); Математическата логика (bg); logik, logistik (da); Logica matematică (ro); Mathematical logic, منطق ریاضیات (ur); Moderná logika, Symbolická logika (sk); Mathematical logic (si); математикаи мантиқӣ (tg); 기호논리학, 수리논리학자, 수리논리 (ko); Vikipedio:Projekto matematiko/Matematika logiko, Logistiko (eo); logika, formální logika, symbolická logika, moderní logika (cs); Logica formale, Logica simbolica, Logico (it); métamathématique, logique formelle, logique symbolique, logique (fr); фармальная лёгіка, сымбалічная лёгіка, сучасная лёгіка, лёгіка (be-tarask); Lôgic toán học, Logic toán học, Lôgic ký hiệu, Logic ký hiệu, Lôgic kí hiệu, Logic kí hiệu, Mêta toán, Mêta toán học, Lôgic toán (vi); לוגיקה סימבולית, חידה לוגית, לוגיקה (מתמטיקה), לוגיקה פורמלית (he); Mathematical logic (tl); 記号論理学, 論理数学 (ja); Moderna logika (hr); Logika simbolik, Logika formal (id); матлогика, теоретическая логика, выводимая формула (ru); formallogikk (nb); mathematische logica (nl); Sembolik Mantık, Matematiksel Mantık (tr); Sümbolloogika (et); ตรรกศาสตร์สัญลักษณ์ (th); 符号逻辑, 纯逻辑学, 數學邏輯, 數理邏輯 (zh); logic, formal logic, symbolic logic, modern logic (en); المنطق الرياضي, منطق رياضياتي, منطق رسمي (ar); Τυπική λογική, Λογική (μαθηματικά) (el); логіка математична, матлогіка (uk)