Рубрика

Назва:

 

логический синтаксис и семантика, семиотика  

Назва:

 

значение, смысл  

Назва:

 

теория логических моделей, интерпретация формальных систем  

Назва:

 

исчисление  

Назва:

 

семантические определители истины, формализация понятия истины