Ulrich Kohlenbach - Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Brand : Springer-Verlag GmbH, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2008, Label : Springer-Verlag GmbH, Publisher : Springer-Verlag GmbH, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 556, publicationDate : 2010-10-21, authors : Ulrich Kohlenbach, ISBN : 3642096271 ...