𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Axiomatizing fixpoint logics

✍ Scribed by Andrzej Szalas


Book ID
107766060
Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
606 KB
Volume
41
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Axiomatization of quantum logics
✍ Sylvia PulmannovΓ‘ πŸ“‚ Article πŸ“… 1996 πŸ› Springer 🌐 English βš– 659 KB