Електронний каталог
Класифікатори
164 Логістика. Символічна логіка. Математична логіка. Логічне числення
164.05 Дійсність ствердження (теореми)
Підтеми:
164.051 Істинні функції
164.053 Проблема прийняття рішення
Інформаційно-пошукова система
'УФД/Бібліотека'