Handbuch der Informatik - 6.2: DeduktionAutomatisierung der Logik269 stránek10 hodin čtení1992Pohlídat