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

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

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