- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Рубрики
--> МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
----> Математика
------> фундаментальні та загальні питання математики
--------> математична логіка
----------> класична логіка
------------> класична логіка предикатів першого порядку
--> МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
----> Математика
------> фундаментальні та загальні питання математики
--------> математична логіка
----------> класична логіка
------------> класична логіка предикатів першого порядку
Рубрика
- Название:
- класична логіка предикатів першого порядку
- Название:
- узагальнені квантери
- Название:
- алгебраїчна логіка
- Название:
- абстрактна алгебраїчна логіка
- Название:
- алгебри відношень (циліндричні, поліадичні, алгебри реляційних множин)
- Название:
- алгебри ціліндричного типу
- Название:
- модельно-теоретичні властивості алгебр, що пов'язані з логікою