by Ruy J. G. B. de Queiroz
The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades now. The individual chapters of this book show the state of the art…