Computerprogrammierung und SoftwareentwicklungDirk Siefkes ×eBooks × Formalisieren und BeweisenLogik für InformatikerDirk SiefkesVieweg & TeubnereBook2013