TY  - JOUR
AU  - M. S. Sheremet
TI  - A completeness theorem for the Evans logic of identities
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2004
SP  - 24
EP  - 34
VL  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2004_1_a1/
LA  - ru
ID  - SEMR_2004_1_a1
ER  -