Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Received 6 September 1984, Revised 17 December 1985, Available online 2 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(87)90001-8
