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

• Класифікатори та каталоги
• Математична логіка

Логіко-математичні теорії (Формальна арифметика. Формальна теорія чисел)