𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Jordan-Hölder decomposition of proof nets

✍ Scribed by Quintijn Puite; Harold Schellinx


Book ID
105842527
Publisher
Springer
Year
1997
Tongue
English
Weight
122 KB
Volume
37
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES