First Page | Document Content | |
---|---|---|
Date: 2008-04-13 07:08:42 | Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:Add to Reading ListSource URL: rd.host.cs.st-andrews.ac.ukDownload Document from Source WebsiteFile Size: 236,39 KBShare Document on Facebook |