Axiomatizability in Inclusive Equational Logic (1996)

by Grigore Rosu
Citations:8 - 2 self