Zur linearen Strukturierung des natürlichen prädikatenlogischen Schliessens in der positiven Minimallogik, der Minimallogik, der intuitionistischen und der klassischen Logik
By: Karlheinz Auge
Contributors: Ruhr-Universität Bochum
Published: 1989
Language: ger
Number of pages: 115
Notes: Thesis (doctoral)--Ruhr-Universität Bochum, 1989.