Automation of Logic Weidenbach, Christoph 9781439875353 Chapman & Hall/CRC Studies in Informatics Series Innbundet 05.01.2026 Engelsk Forventes utgitt