Theoretische InformatikDirk Siefkes × Formalisieren und BeweisenLogik für InformatikerDirk SiefkesVieweg & TeubnerSoftcover199269,99 € Formalisieren und BeweisenLogik für InformatikerDirk SiefkesVieweg & TeubnerSoftcover199054,99 €