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
Betal nemt med kort, Klarna, Apple Pay eller Google Pay. Ikke tilfreds? Du har altid 14 dages fortrydelsesret. Læs mere i vores vilkår. Har du spørgsmål, så send os en mail på hello@memmo.org.
Memmo gør det nemmere at studere – uanset hvor du er i verden. Hos os samler du dine kursusbøger og smarte studieværktøjer ét sted: resuméer, quizzer, podcasts og flashcards. Og så er der Ted, din studieven, der svarer på alt, du undrer dig over. Over 50 000 studerende studerer allerede her – bygget til at hjælpe dig med at lære hurtigere og stresse mindre.
Du kan måske også lide
Køb bogen0