NORMAL DERIVATIONS AND SEQUENT DERIVATIONS Mirjana Borisavljevi OriginalPaper 29 May 2008 Pages: 521 - 548
Symmetric Propositions and Logical Quantifiers R. Gregory Taylor OriginalPaper 11 June 2008 Pages: 575 - 591