25 元券9783528047573FormalisierenInformatikerBeweisen¥5040去看看澜瑞图书专营店发布了【4周达】Formalisieren und Beweisen : Logik für Informatiker [9783528047573]