CatGloss

By a sequent we mean an expression $ Gamma!supset!psi $

This site is open source. Improve this page.