Category:Mathematical logic

lógica matemática (es); Stærðfræðileg rökfræði (is); logik matematik (ms); Математическа логика (bg); ریاضیاتی منطق (pnb); ریاضیاتی منطق (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); لوݢيک ماتماتيک (ms-arab); 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); ሒሳባዊ ሥነ አምክንዮ (am); 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); Logika matematika (id); logica matematica (it); Okusengekensonga okw'ekibalo(Mathematical logic) (lg); matematická logika (cs); Математикăлла логика (cv); Matemaatiline loogika (et); Logica Matematica (oc); logică matematică (ro); Matematiksel mantık (tr); منطق ریاضی (fa); wiskundige logica (nl); mathematische Logik (de); lógica matemática (pt); Математикалык логика (ky); Matematická logika (sk); матэматычная логіка (be); Simbolinė logika (lt); Matematična logika (sl); Matematikal na lohika (tl); ගණිතමය තර්කණය (si); математическая логика (ru); คณิตตรรกศาสตร์ (th); logika matematyczna (pl); Rianas matamataigeach (gd); Matematička logika (sh); Matematik mantiq (uz); Logjika matematikore (sq); Logica Matematica (lij); матэматычная лёгіка (be-tarask); Lóxica matemática (gl); Matematička logika (hr); Μαθηματική λογική (el); matemaattinen logiikka (fi) rama de la lógica aplicada a las matemáticas (es); discipline des mathématiques étudiant celles-ci en tant que langage (fr); разьдзел матэматыкі (be-tarask); branca de les matemàtiques (ca); Teilgebiet der Mathematik (de); exercícios de proposição (pt); 數學子領域 (zh); Sembolik Mantık (tr); 論理学の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする数学の関連分野 (ja); subfield o mathematics splorin the applications o formal logic tae mathematics (sco); สาขาย่อยของคณิตศาสตร์ (th); dziedzina matematyki (pl); Locke8290 (zh-hant); campo della matematica (it); matematiikan osa-alue (fi); subfield of mathematics (en); العلم الذي يبحث في القواعد التي تتبع في التفكير وطرق الاستدلال الصحيح (ar); obor matematiky (cs); раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и пр. (ru) 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)