| English | eng-000 |
| predicate calculus | |
| čeština | ces-000 | predikátová logika |
| 普通话 | cmn-000 | 谓词演算 |
| Deutsch | deu-000 | Prädikatenlogik |
| eesti | ekk-000 | predikaatarvutus |
| English | eng-000 | functional calculus |
| English | eng-000 | predicate logic |
| suomi | fin-000 | predikaattilogiikka |
| français | fra-000 | calcul des prédicats |
| Srpskohrvatski | hbs-001 | predikatni račun |
| íslenska | isl-000 | umsagnareikningur |
| 日本語 | jpn-000 | 述語論理 |
| македонски | mkd-000 | предикатна пресметка |
| русский | rus-000 | исчисление предикатов |
| svenska | swe-000 | predikatlogik |
| ภาษาไทย | tha-000 | แคลคูลัสภาคแสดง |