Bøger af Wolfgang Wechler

No detailed description available for "Algebraic and Logic Programming".

A new model-theoretic approach to universal algebra is offered in this book. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories.