1. On not strengthening intuitionistic logic;Belnap;Notre Dame J. Formal Logic,1936
2. A rule-completeness theorem;Belnap;Notre Dame J. Formal Logic,1963
3. The elimination theorem when modality is present;Curry;J. Symb. Logic,1952
4. Foundations of mathematical logic;Curry,1963
5. Remarks on inferential deduction;Curry,1965