Uwe schöning logik für informatiker pdf
, überarbeitete auflage. inhaltsverzeichnis einleitung. [ 3] logik für informatiker ( in german, reihe informatik, 1987; 5th ed. 20 € ) taschenbuch, als begleitlektüre zur vorlesung geeignet. 3 hornformeln 32 1. , überarbeitete auflage wissenschaftsverlag mannheim/