Studying provability in implicational intuitionistic logic: the formula tree approach
Electronic Notes in Theoretical Computer Science | 2002 | inproceedings
Publication
Year of publication: 2002
Volume : 67
Pages : 135-151
Month :
CMUP publication : Yes
Authors