1-5 of 5 Books
Rewriting Techniques and Applications
By Jean-Pierre Jouannaud
Algebra, Logic, Set Theory (Studies in Logic)
By B, Loewe
Algebraizable logics
By W. J. Blok
Many-dimensional modal logics
By Dov M. Gabbay
Rewriting techniques and applications
By Pierre Lescanne