Function algebras on finite sets a basic course on many-valued ... & clone theory-Springer (2006)