
Есть. Потом это не учебник, а классический образец формализации, той элементарной части классической математики, которой владеет любой специализд. Если для примеру взять книжку Коэна то она еще менее пригодна как учебник именно в силу отсутствия многих формальных деталей.