Abstract Horn theories
暂无分享，去创建一个
[1] Law Fw. FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .
[2] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .
[3] P. Freyd,et al. Algebra valued functors in general and tensor products in particular , 1966 .