Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебник для высшей школы
Дискретная математика