| bahasa Indonesia | ind-000 |
| logika formal | |
| English | eng-000 | formal logic |
| English | eng-000 | mathematical logic |
| English | eng-000 | symbolic logic |
| suomi | fin-000 | formaalinen logiikka |
| suomi | fin-000 | matemaattinen logiikka |
| suomi | fin-000 | symbolinen logiikka |
| français | fra-000 | logique mathématique |
| bahasa Indonesia | ind-000 | logika simbolik |
| 日本語 | jpn-000 | 形式論理 |
| 日本語 | jpn-000 | 形式論理学 |
| 日本語 | jpn-000 | 数学的論理学 |
| 日本語 | jpn-000 | 記号論理学 |
| فارسی | pes-000 | منطق ریاضی |
| فارسی | pes-000 | منطق مجرد |
| português | por-000 | Lógica matemática |
| slovenščina | slv-000 | matematična logika |
| ภาษาไทย | tha-000 | คณิตตรรกศาสตร์ |