Математическая логика, Ефремов Евгений