[ Back to Record ]

  1. Bib ID# 34464
    ISBN: 9783540693192
    UPC: 10.1007/978-3-540-69319-2
    Title: Proof TheoryThe First Step into Impredicativity /
    Author: Pohlers, Wolfram.
    Publication Info:
    Item Type: Language material

[ Back to Record ]