|
|||||
|
|
Decision procedures for elementary sublanguages of set theory. III. Restricted classes of formulas involving the power set operator and the general set union operator |
|
| Authors: | Michael Breban Alfredo Ferro |
| Affiliation: | Mathematics Department, Yeshiva University, New York, New York 10033 USA;Seminario Matematico, Città Universitaria, 95125 Catania, Italy |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |