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) |