Conținutul este disponibil doar pentru utilizatorii cu subscripție.

Limbajul logicii predicatelor: termeni individuali și predicate