AXIOMS FOR LATTICES & BOOLEAN ALGEBRAS

AXIOMS FOR LATTICES & BOOLEAN ALGEBRAS

Auteur: Padmanabhan R, Rudeanu Sergiu
Uitgever: World Scientific Publishing Company
Publicatiedatum: 2008
ISBN: 9789812834546

Koop het boek

0

Betaal met Klarna
14 dagen bedenktijd
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

Misschien vind je dit ook leuk

Koop het boek0