Back to Results
First PageMeta Content



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 List

Document Date: 2008-04-13 07:08:42


Open Document

File Size: 236,39 KB

Share Result on Facebook
UPDATE