Reihe Leitfäden und Monographien der InformatikTheodor Lettmann × Aussagenlogik: Deduktion und AlgorithmenDeduktion und AlgorithmenTheodor LettmannVieweg & TeubnereBook201349,99 € Aussagenlogik: Deduktion und AlgorithmenDeduktion und AlgorithmenTheodor LettmannVieweg & TeubnerSoftcover199464,99 €
