Status Updates From Basic Proof Theory (Cambrid...
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0) by
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)