| Srpskohrvatski | hbs-001 |
| predikatni račun | |
| Deutsch | deu-000 | Prädikatenlogik |
| English | eng-000 | predicate calculus |
| suomi | fin-000 | predikaattilogiikka |
| français | fra-000 | calcul des prédicats |
| íslenska | isl-000 | umsagnareikningur |
| македонски | mkd-000 | предикатна пресметка |
| svenska | swe-000 | predikatlogik |