06 истинность в модели

Оценка (означивание) термов в модели Определение истинности формул при интерпретации в модели
Back to Top