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