This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of

This work conceptualizes a new logic, where the main inference connective is understood as meaning containment. Classical logic plays a restricted role, applyin

This volume covers digital design techniques, exercises and applications. The book discusses digital design and implementation in the context of VLSI and embedd