A Completeness Theorem for Higher Order Logics
暂无分享，去创建一个
[1] István Németi. Strong Representability of Fork Algebras, a Set Theoretic Foundation , 1997, Log. J. IGPL.
[2] Roger D. Maddux,et al. Some sufficient conditions for the representability of relation algebras , 1978 .