Подскажите, пожалуйста, какую-нибудь литературу, в которой рассматриваются эти две системы с анализом различий и подходов, размышлениями по поводу целесообразности введения классов и пользы в других разделах математики (nbg в теории категорий, например).
|