Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Nu… 0.0 stars Education Mathematics Computer Science
