Ulrich Kohlenbach

الكتب
Applied Proof Theory: Proof Interpretations and their Use in Mathematics Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
٢٠٠٨