Електронний каталог
Класифікатори
164 Логістика. Символічна логіка. Математична логіка. Логічне числення
164.04 Аксіоми. Принципи. Правила. Закони
Підтеми:
164.041 Аксіоми. Принципи
164.042 Системи аксіом
164.043 Еквівалентність. Правила. Закони
Інформаційно-пошукова система
'УФД/Бібліотека'