【预售】Formalisieren Und Beweisen

预订 Formalisieren und Beweisen: Logik für Informatiker: 9783528147570

【3-4周达】Formalisieren und Beweisen : Logik für Informatiker [9783528047573]

【3-4周达】Formalisieren und Beweisen: Logik für Informatiker (2. Auflage 1992) [9783528147570]