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