Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by U. Kohlenbach

download center

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

U. Kohlenbach - Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Enter the sum