Formalisieren und Beweisen - Logik für Informatiker

Buch, Broschiert
Ausgabe vom 1992
Verkaufsrang: 997497 (je kleiner desto beliebter)
ASIN: 3528147571 (Amazon-Bestellnummer)