Return to Article Details Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik Download Download PDF