Електронний каталог

• Класифікатори
• 510.64 Некласичні, формальні логічні системи

510.645 Формалізація традиційних логік. Силогістики