dblp.uni-trier.dewww.uni-trier.de

Henry Africk

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)