Proof Methods for Equational Theories

Shelfclass_id	4.B.3
Sortkey	BACHMAIR, LEO
Authors	Leo Bachmair
Title	Proof Methods for Equational Theories
Publisher	University of Illinois
Year	1987
Languages	eng
Description	vii, 116 p.
Record date	20080808
Location	Urbana, Illinois