Wyniki wyszukiwania:

With exercises and historical remarks at the end of each chapter, this self-contained book provides readers with a valuable source of references and hints for future research.This book will appeal to researchers across mathematics and computer science with an interest in category theory, lattice theory, and many-valued logic.