25 元券9783528147181MathematikerInformatikerMaschinellen¥5360去看看澜瑞图书专营店发布了【4周达】Grundlagen Des Maschinellen Beweisens: Eine Einführung Für Informatiker Und Mathematiker [9783528147181]