| русский | rus-000 |
| символическая логика | |
| беларуская | bel-000 | сімвалічная логіка |
| 普通话 | cmn-000 | 效理逻辑 |
| 國語 | cmn-001 | 效理邏輯 |
| Hànyǔ | cmn-003 | xiàolǐluójí |
| Deutsch | deu-000 | Logistik |
| Deutsch | deu-000 | symbolische Logik |
| English | eng-000 | symbolic logic |
| English | eng-000 | symbolic mathematics |
| 日本語 | jpn-000 | 記号論理学 |