Catégories
> 03-XX Mathematical logic and foundations > 03BXX General logic > 03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
catégorie vide
