[ Back to Record ]

  1. Bib ID# 35015
    ISBN: 9783540775331
    UPC: 10.1007/978-3-540-77533-1
    Title: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
    Author: Kohlenbach, Ulrich.
    Publication Info:
    Item Type: Language material

[ Back to Record ]