×

Found 40 Documents (Results 1–40)

100
MathJax

Zur linearen Strukturierung des natürlichen prädikatenlogischen Schließens in der positiven Minimallogik, der Minimallogik, der intuitionistischen und der klassischen Logik. (On linear structuring of natural predicate logic reasoning in positive minimal logic, minimal logic, intuitionistic and classical logic). (German) Zbl 0688.03037

Bochum: Univ., Fak. für Philosophie, Pädagogik u. Publizistik, Diss. xv, 116 S. (1989).
Reviewer: Preface
MSC:  03F05 03B20 03B10
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Software