Implementing Equational and Quasiequational Logic on the Web

Peter Jipsen

Vanderbilt University

Garrett Birkhoff 1911 - 1996