Formalisieren und Beweisen: Logik für Informatiker
Vieweg+Teubner Verlag (9783528147570) | Logik für, Formalisieren und Beweisen
Vieweg+Teubner Verlag (9783528147570) | Logik für, Formalisieren und Beweisen
Vieweg+Teubner Verlag (9783519122487) | Logik für Informatiker
Vieweg+Teubner Verlag (9783528047573) | Logik für, Formalisieren und Beweisen