| français | fra-000 |
| calcul des prédicats | |
| Deutsch | deu-000 | Prädikatenlogik |
| Deutsch | deu-000 | Prädikatrechnung |
| English | eng-000 | functional calculus |
| English | eng-000 | predicate calculus |
| suomi | fin-000 | predikaattilogiikka |
| Srpskohrvatski | hbs-001 | predikatni račun |
| hrvatski | hrv-000 | predikatni račun |
| íslenska | isl-000 | umsagnareikningur |
| 日本語 | jpn-000 | 述語論理 |
| 한국어 | kor-000 | 술어 계산 |
| македонски | mkd-000 | предикатна пресметка |
| svenska | swe-000 | predikatlogik |
| ภาษาไทย | tha-000 | แคลคูลัสภาคแสดง |