Електронний каталог

• Класифікатори
• 51 Математика

510 Фундаментальні та загальні питання математики

Підтеми:

• 510.2 Загальні проблеми математичної логіки. Основи математики
• 510.3 Теорія множин
• 510.6 Математична логіка
• 510.755 Логічне програмування