Зведений каталог бібліотек Києва

• Класифікатори та каталоги
• Парадокси. Антиномії. Логічні помилки

Метатеоретические проблемы

Підтеми:

• Теория формализованных дедуктивных систем
• Аксиоматическая теория: аксиоматизация множества формул, непротиворечивость системы аксиом, проблема разрешимости, полнота системы аксиом, независимость аксиом, устранение сечения