𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Recursively inconsistent algorithmic problems on 1-constructivizable relatively complemented distributive lattices

✍ Scribed by S. T. Fedoryaev


Publisher
Springer US
Year
1996
Tongue
English
Weight
565 KB
Volume
34
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.