Karlheinz Auge

• Zur linearen Strukturierung des natürlichen prädikatenlogischen Schliessens in der positiven Minimallogik, der Minimallogik, der intuitionistischen und der klassischen Logik