Author: Function algebras on finite sets a basic course on many-valued logic