InformatikDirk Siefkes ×Vieweg & Teubner × Formalisieren und BeweisenLogik für InformatikerDirk SiefkesVieweg & TeubnerSoftcover1992 Formalisieren und BeweisenLogik für InformatikerDirk SiefkesVieweg & TeubnerSoftcover1990