| |
| 1992 | ||
|---|---|---|
| 3 | Henry Africk: Classical Logic, Intuitionistic Logic and the Peirce Rule. Notre Dame Journal of Formal Logic 33(2): 229-235 (1992) | |
| 1974 | ||
| 2 | Henry Africk: Scott's Interpolation Theorem Fails for L omega1, omega. J. Symb. Log. 39(1): 124-126 (1974) | |
| 1972 | ||
| 1 | Henry Africk: A Proof Theoretic Proof of Scott's General Interpolation Theorem. J. Symb. Log. 37(4): 683-695 (1972) | |