1.8.3.3.0. Modeļu veidošana

Operāciju aksiomu sistēmu modeļu (interpretāciju) konstruēšana — piemēri, kas parāda aksiomu saderību vai neatkarību.

---