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