| English | eng-000 |
| formal logic | |
| العربية | arb-000 | منطق رياضي |
| беларуская | bel-000 | логіка |
| беларуская | bel-000 | матэматычная логіка |
| bosanski | bos-000 | matematička logika |
| български | bul-000 | математическата логика |
| català | cat-000 | lògica matemàtica |
| čeština | ces-000 | formální logika |
| čeština | ces-000 | logika |
| čeština | ces-000 | matematická logika |
| 普通话 | cmn-000 | 形式逻辑 |
| 普通话 | cmn-000 | 数理逻辑 |
| 國語 | cmn-001 | 數理邏輯 |
| Hànyǔ | cmn-003 | shù lǐ luó ji |
| Deutsch | deu-000 | formale Logik |
| Deutsch | deu-000 | mathematische Logik |
| eesti | ekk-000 | formaalloogika |
| ελληνικά | ell-000 | μαθηματική λογική |
| English | eng-000 | logic |
| English | eng-000 | mathematical logic |
| English | eng-000 | symbolic logic |
| Esperanto | epo-000 | logistiko |
| Esperanto | epo-000 | matematika logiko |
| suomi | fin-000 | formaalinen logiikka |
| suomi | fin-000 | logiikka |
| suomi | fin-000 | matemaattinen logiikka |
| suomi | fin-000 | symbolinen logiikka |
| français | fra-000 | logique |
| français | fra-000 | logique formelle |
| français | fra-000 | logique mathématique |
| עברית | heb-000 | לוגיקה מתמטית |
| हिन्दी | hin-000 | गणितीय तर्कशास्त्र |
| hrvatski | hrv-000 | logika |
| hrvatski | hrv-000 | matematička logika |
| magyar | hun-000 | logika |
| magyar | hun-000 | matematikai logika |
| bahasa Indonesia | ind-000 | logika formal |
| bahasa Indonesia | ind-000 | logika matematika |
| bahasa Indonesia | ind-000 | logika simbolik |
| italiano | ita-000 | logica matematica |
| 日本語 | jpn-000 | 形式論理 |
| 日本語 | jpn-000 | 形式論理学 |
| 日本語 | jpn-000 | 数学的論理学 |
| 日本語 | jpn-000 | 数理論理学 |
| 日本語 | jpn-000 | 記号論理学 |
| 日本語 | jpn-000 | 論理学 |
| ქართული | kat-000 | მათემატიკური ლოგიკა |
| 한국어 | kor-000 | 기호 논리학 |
| 한국어 | kor-000 | 수리 논리학 |
| 한국어 | kor-000 | 수리논리학 |
| lengua lígure | lij-000 | logica matematica |
| олык марий | mhr-000 | формальный логике |
| македонски | mkd-000 | математичка логика |
| Nederlands | nld-000 | wiskundige logica |
| nynorsk | nno-000 | matematisk logikk |
| bokmål | nob-000 | predikatslogikk |
| فارسی | pes-000 | منطق ریاضی |
| فارسی | pes-000 | منطق مجرد |
| polski | pol-000 | logika |
| polski | pol-000 | logika matematyczna |
| polski | pol-000 | logika symboliczna |
| português | por-000 | Lógica matemática |
| română | ron-000 | logică matematică |
| русский | rus-000 | логика |
| русский | rus-000 | математическая логика |
| русский | rus-000 | формальная логика |
| slovenčina | slk-000 | matematická logika |
| slovenščina | slv-000 | matematična logika |
| español | spa-000 | lógica |
| español | spa-000 | lógica matemática |
| español | spa-000 | lógica simbólica |
| српски | srp-000 | математичка логика |
| svenska | swe-000 | logik |
| svenska | swe-000 | matematisk logik |
| тоҷикӣ | tgk-000 | мантиқи риёзӣ |
| Tagalog | tgl-000 | matematikal na lohika |
| ภาษาไทย | tha-000 | คณิตตรรกศาสตร์ |
| Türkçe | tur-000 | biçimsel mantık |
| Türkçe | tur-000 | mantık |
| Türkçe | tur-000 | matematiksel mantık |
| українська | ukr-000 | математична логіка |
| اردو | urd-000 | ریاضیاتی منطق |
| tiếng Việt | vie-000 | luận lý hình thức |