Пошук та замовлення літератури -Книги в рубриці: Електронний каталог

Електронний каталог: Книги в рубриці:

Рубрики
--> МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
----> Математика
------> фундаментальні та загальні питання математики
--------> математична логіка
----------> мови математичної логіки, формальні мови
------------> мови математичної логіки, формальні мови

Рубрика

Назва:: мови математичної логіки, формальні мови

Назва:: теорія логічного висновку

Назва:: логічні числення

Назва:: формалізація традиційної логіки

Назва:: силогістика

Назва:: застосування логічних числень

Назва:: мова тернарного опису

Друк списку