Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus.