Computerprogrammierung und SoftwareentwicklungBernhard Heinemann ×Vieweg & Teubner × Logik für InformatikerEine EinführungBernhard HeinemannVieweg & TeubnerSoftcover1992