Implication connectives in orthomodular lattices-猫眼课题宝

正交模格中的蕴涵连接词

DOI：

10.1305/ndjfl/1093891789

发表时间：

1975

期刊：

Notre Dame J. Formal Log.

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

L. Herman;E. Marsden;R. Piziak