Chern classes of torsion free sheaves

I am looking for the formal definition of Chern classes for torsion free sheaves, at least on the projective spaces. There are several books that do made the defintion for the vector bundle case, and the Ph.D. thesis of H.I. Green "Chern Classes for Coherent Sheaves" define Chern classes in terms of the singular cohomology of some smooth variety, and prove that his definition coincides with the classical definition for locally free sheaves.

The point is that I was not able to prove that Green's definition for Chern classes is the unique way of assigning classes in the Chow ring of the variety, satisfying Functoriality, Whitney’s formula, and the condition on line bundles. (See for instance Theorem 5.3 of the book https://www.amazon.com.br/3264-All-That-Algebraic-Geometry/dp/1107602726). The difficult part is to prove the unicity.

Is there a reference for it?

• "I am looking for the formal definition of Chern classes for torsion free sheaves, at least on the projective spaces." The K-group of projective space $\mathbb{P}^n$ is generated as a free Abelian group by the classes of $\mathcal{O}(-d)$, for $d=1,\dots,n$. Thus, for every Abelian group $A$ and for every formula $\chi$ defined on coherent sheaves that is additive for short exact sequences, i.e., for $A= 1 + t\mathbb{Z}[[t]]$ under multiplication and for $\chi$ equal to the total Chern class, the formula is uniquely determined by its values on $\mathcal{O}(-d)$. – Jason Starr Jul 6 '18 at 19:47
• Similarly, for a smooth, projective $k$-scheme $X$, the natural map from the K-group of locally free $\mathcal{O}_X$_modules to the K-group of coherent $\mathcal{O}_X$-modules is an isomorphism of modules. Thus, as for projective space, $\chi$ is uniquely determined by its values on locally free $\mathcal{O}_X$-modules. All of this is described in the beautiful notes of Manin, "Lectures on the K-functor in algebraic geometry". – Jason Starr Jul 6 '18 at 19:49