First Page | Document Content | |
---|---|---|
![]() Date: 2004-10-23 17:43:06Non-classical logic Joachim Lambek Mathematics Linear logic Adjoint functors Duality Logic Mathematical logic Substructural logic | Source URL: www.unich.itDownload Document from Source WebsiteFile Size: 201,75 KBShare Document on Facebook |