AXIOMS FOR LATTICES & BOOLEAN ALGEBRAS

AXIOMS FOR LATTICES & BOOLEAN ALGEBRAS

Autore: Padmanabhan R, Rudeanu Sergiu
Editore: World Scientific Publishing Company
Data di pubblicazione: 2008
ISBN: 9789812834546

Acquista il libro

0

Paga con Klarna
Garanzia di rimborso di 14 giorni
Key Features:
  • Offers many theorems with new proofs in a self-contained manner
  • Gives a concise overview of the early history of the axioms of lattice-based algebras
  • Provides many examples of the shortest possible equational bases for various genres of lattice-based algebras
  • Presents the shortest-known single identity defining the class of all lattices
  • Includes an appendix by Dr William McCune (University of New Mexico, USA) that demonstrates the efficient use of modern theorem-provers to discover new Huntington varieties and the practical applications of the 21st century phenomenon of human-machine interaction

Potrebbe interessarti anche

Acquista il libro0