![](https://www.pdfsearch.io/img/4d0da7363ab33e1dc13a88ca42629570.jpg) 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 Website File Size: 236,39 KBShare Document on Facebook
|