Henry Africk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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)

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page