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

Alfred Horn

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1969
4 Alfred Horn: Logic with Truth Values in a Linearly Ordered Heyting Algebra. J. Symb. Log. 34(3): 395-408 (1969)
3 Alfred Horn: Free L-Algebras. J. Symb. Log. 34(3): 475-480 (1969)
1962
2 Alfred Horn: The Separation Theorem of Intuitionist Propositional Calculus. J. Symb. Log. 27(4): 391-399 (1962)
1951
1 Alfred Horn: On Sentences Which are True of Direct Unions of Algebras. J. Symb. Log. 16(1): 14-21 (1951)

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