| English | eng-000 |
| functional calculus | |
| 普通话 | cmn-000 | 函项演算 |
| English | eng-000 | predicate calculus |
| suomi | fin-000 | predikaattilogiikka |
| français | fra-000 | calcul des prédicats |
| ગુજરાતી | guj-000 | કાર્યાત્મક કલનશાસ્ત્ર |
| 日本語 | jpn-000 | 述語論理 |
| русский | rus-000 | исчисление предикатов |
| русский | rus-000 | функциональное исчисление |
| ภาษาไทย | tha-000 | แคลคูลัสภาคแสดง |