Implementing Equational and Quasiequational Logic on the Web

Peter Jipsen

Vanderbilt University

 

 

 

 

 

Garrett Birkhoff 1911 - 1996

Next