Autor: Oxford, UK) Krotzsch Markus (University of Oxford

Thoroughly covering basic introductions and intuitions, technical details, and formal foundations, this text focuses on the established foundations in this area that have become relatively stable ove …