Зведений каталог бібліотек Тернополя

• Класифікатори та каталоги
• Логіка предикатів. Квантифікація

Теорія категоричного силогізму