Зведений каталог бібліотек Львова

• Класифікатори та каталоги
• Дедукція. Дедуктивна логіка. Теорія дедуктивних умовиводів

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

Підтеми:

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