WEEK 48:

 

 

         Gentzen versus Hilbert systems;

         Substructural logics;

         Relation to grammars;