E- text books

Description

Title of E-book: Higher-Order Algebra, Logic, and Term Rewriting
Author: Dowek 
Publisher: Springer
Access online  

Publication date: 1996