Електронний каталог
Класифікатори
510.6 Математична логіка
510.64 Некласичні логіки
Підтеми:
510.644 Багатозначні логіки
Інформаційно-пошукова система
'УФД/Бібліотека'