Theoretische InformatikBernhard Heinemann × Logik für InformatikerEine EinführungBernhard HeinemannVieweg & TeubnerSoftcover1992