Handbuch der Informatik - 6.2: DeduktionAutomatisierung der Logik269pagine10 ore di lettura1992Avvisami