![](/img/cover-not-exists.png)
On the Soundness and Completeness of Equational Predicate Logics
Tourlakis, G.Volume:
11
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/11.4.623
Date:
August, 2001
File:
PDF, 281 KB
english, 2001