Applied Proof Theory : Proof Interpretations and Their Use in Mathematics

Par : U. Kohlenbach

Formats :

    • ISBN978-3-540-77532-4
    • EAN9783540775324
    • Date de parution01/01/2008
    • ÉditeurSpringer