๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Is There a Nonrecursive Decidable Equational Theory?

โœ Scribed by Benjamin Wells


Book ID
110340058
Publisher
Springer
Year
2002
Tongue
English
Weight
168 KB
Volume
12
Category
Article
ISSN
0924-6495

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES