40 元券预售FormalisierenBeweisenUnd¥4640去看看中国国际图书专营店发布了【预售】Formalisieren Und Beweisen25 元券9783528047573FormalisierenInformatikerBeweisen¥5040去看看澜瑞图书专营店发布了【4周达】Formalisieren und Beweisen : Logik für Informatiker [9783528047573]25 元券9783528147570FormalisierenInformatikerBeweisen¥7640去看看澜瑞图书专营店发布了【4周达】Formalisieren Und Beweisen: Logik Für Informatiker [9783528147570]