Deutsch | deu-000 |
Prädikatenlogik |
普通话 | cmn-000 | 一阶逻辑 |
國語 | cmn-001 | 一階邏輯 |
Hànyǔ | cmn-003 | yi1 jie1 luo2 ji5 |
Deutsch | deu-000 | Prädikatrechnung |
Deutsch | deu-000 | Quantorenlogik |
English | eng-000 | predicate calculus |
suomi | fin-000 | predikaattilogiikka |
français | fra-000 | calcul des prédicats |
Srpskohrvatski | hbs-001 | predikatni račun |
hrvatski | hrv-000 | predikatni račun |
íslenska | isl-000 | umsagnareikningur |
한국어 | kor-000 | 술어 계산 |
македонски | mkd-000 | предикатна пресметка |
svenska | swe-000 | predikatlogik |