Reihe Trends in LogicMatthias Baaz ×Springer Netherland × Methods of Cut-Elimination Matthias BaazSpringer NetherlandSoftcover2013106,99 € Methods of Cut-Elimination Matthias BaazSpringer NetherlandHardcover2011106,99 € Methods of Cut-Elimination Matthias BaazSpringer NetherlandeBook201196,29 €