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

• Класифікатори та каталоги
• Теорія порядкових типів, ординальних та кардинальних чисел

Нестандартна теорія множин

Підтеми:

• Формалізація традиційних математичних теорій