Algebraic Theory of Quasivarieties (Hardcover) (ISBN-13: 9780306110634)

The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal Horn logic. This treatise uniformly presents the principal directions of the theory from an effective algebraic approach developed by the author himself. A revolutionary exposition, this influential text contains a number of results never before published in book form, featuring in-depth commentary for applications of quasivarieties to graphs, convex geometries, and formal languages. Key features include coverage of the Birkhoff-Mal'tsev problem on the structure of lattices of quasivarieties, helpful exercises, and an extensive list of references.

Author: Viktor A. Gorbunov
ISBN-10: 0306110636
ISBN-13: 9780306110634
Publisher: Springer
Language: English
Published: 09/30/1998
Pages: 300
Format: Hardcover
Weight: 1.36lbs
Size: 9.21h x 6.14w x 0.75d