We use methods of Reverse Mathematics to analyze the proof theoretic strength of certain graph theoretic theorems involving the notion of coloring number. Clas-.
確定! 回上一頁