𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Complexity of the decidability of one class of formulas in quantifier-free set theory with a set-union operator

✍ Scribed by M. Tetruashvili


Book ID
112719056
Publisher
Walter de Gruyter GmbH & Co. KG
Year
1996
Tongue
English
Weight
232 KB
Volume
3
Category
Article
ISSN
1072-947X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES