Рубрика

Назва:

 

класична логіка предикатів першого порядку  

Назва:

 

узагальнені квантери  

Назва:

 

алгебраїчна логіка  

Назва:

 

абстрактна алгебраїчна логіка  

Назва:

 

алгебри відношень (циліндричні, поліадичні, алгебри реляційних множин)  

Назва:

 

алгебри ціліндричного типу  

Назва:

 

модельно-теоретичні властивості алгебр, що пов'язані з логікою